bug-finding topic

Hexrays Toolbox - Find code patterns within the Hexrays ctree

patois

A list of awesome research on log analysis, anomaly detection, fault localization, and AIOps

logpai

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

PLSysSec