Statistical bug-finding framework for API-using code
-
Updated
Jul 31, 2018 - Python
Statistical bug-finding framework for API-using code
Deep learning project to detect logic bugs in source code.
SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Issue Tracker All Problem Solved
Broken Phone All Problem Solved
Book Bhandar Solution
Password Generator Solution
Music Corner Solution
Fancy Slider Solution
lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」(SCIS2018).
Hexrays Toolbox - Find code patterns within the Hexrays ctree
A list of awesome research on log analysis, anomaly detection, fault localization, and AIOps
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."