A list of awesome research on log analysis, anomaly detection, fault localization, and AIOps
-
Updated
Dec 31, 2023
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.
Skill to hunt for bugs manually or with goal/loop/schedule
The COTS bug finder is ideal for use in critical environments and is designed to improve the redaction of analytical documents.
Fancy Slider Solution
Book Bhandar Solution
Issue Tracker All Problem Solved
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
7-lens code review skill for Claude Code -- finds bugs that conventional review misses
Music Corner Solution
Add a description, image, and links to the bug-finding topic page so that developers can more easily learn about it.
To associate your repository with the bug-finding topic, visit your repo's landing page and select "manage topics."