47
I Use This!
High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 3 days ago.
Nov 08, 2025 — Nov 08, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
SymbolDatabase: Better handling of function pointer function argument More... over 6 years ago
Add bug hunting test case for CVE-2019-10025 More... over 6 years ago
Added bug hunting test case for CVE-2019-10026 More... over 6 years ago
Bug hunting: in cve tests use proper compiler define More... over 6 years ago
wxwidgets.cfg: Fixed false positive because Cppcheck cfg is not able to handle overloaded functions More... over 6 years ago
Fixed segmentation faults More... over 6 years ago
Add bug hunting test CVE-2019-19872 More... over 6 years ago
Add bug hunting test CVE-2019-14494 More... over 6 years ago
Travis: Remove TestExprEngine for now, that does not work well More... over 6 years ago
Bug hunting: Fixed handling of switch 'case %char%' More... over 6 years ago
Bug hunting: Add CVE test case More... over 6 years ago
Travis: add some bug hunting tests More... over 6 years ago
Bug hunting: Added CVE test case More... over 6 years ago
Bug hunting: Add CVE test suite More... over 6 years ago
Fixed test/bug-hunting/itc.py More... over 6 years ago
ExprEngine: Try to handle function with unknown type better More... over 6 years ago
Refactoring ExprEngine More... over 6 years ago
ExprEngine; Try to handle assignments better More... over 6 years ago
ExprEngine: Document how it works More... over 6 years ago
Manual; In bug hunting chapter focus on GUI usage better More... over 6 years ago
ExprEngine: Fail to execute contract => write error message More... over 6 years ago
GUI: When clearing results, remove files in build dir More... over 6 years ago
GUI: Double click on contract to edit it More... over 6 years ago
Bug hunting: Do not warn about 'Division by zero' when variable is uninitialized More... over 6 years ago
Bug hunting: Set 'inconclusive' flag for bailout values More... over 6 years ago
Removed inline suppression, it was not a FP, use #ifdef differently More... over 6 years ago
Temporary inline suppression to hide false positive More... over 6 years ago
Travis: Fix naming More... over 6 years ago
GUI: Show missing/added contracts in tab More... over 6 years ago
ExprEngine: Improved checking of contracts in function calls More... over 6 years ago