bug-finding

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

Hexrays Toolbox - Find code patterns within the Hexrays ctree

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

A tool for cross-checking Verilog compilers

lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).

SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)

Statistical bug-finding framework for API-using code

Deep learning project to detect logic bugs in source code.

Your bug was fixed. Just not everywhere. Finds fixes that reached some sibling implementations but not the others, as a CLI and Agent Skills.

Reasoning based analysis skill to hunt for bugs manually or with goal/loop/schedule/workflow

The COTS bug finder is ideal for use in critical environments and is designed to improve the redaction of analytical documents.

Book Bhandar Solution

Money Master Solution

Issue Tracker All Problem Solved

Fancy Slider Solution

A technical case study analyzing a business logic flaw and misleading communication in a banking rewards system.

Fuzzing framework for sparse tensor compilers — first open-source implementation of TENSURE (NDSS Fuzzing Workshop 2026). Finds crashes and silent miscompilations via constraint-based einsum generation and metamorphic testing.

Password Generator Solution

Find real bugs by EXECUTING code, not reading -- adversarial audit skill for Claude Code