A list of awesome research on log analysis, anomaly detection, fault loc...
Hexrays Toolbox - Find code patterns within the Hexrays ctree
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code