47
I Use This!
High Activity

Commits : Listings

Analyzed about 2 hours ago. based on code collected about 18 hours ago.
Nov 10, 2025 — Nov 10, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Bug hunting; option to set function analysis max time More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home More... almost 6 years ago
donate_cpu_lib.py: Improved auto detection of bsd config More... almost 6 years ago
donate_cpu_lib.py: Improved auto detection of bsd config More... almost 6 years ago
fix #10040 (symbolDatabaseWarning: debug: Executable scope 'x' with unknown function.) (#2955) More... almost 6 years ago
Fix issue 9996: false negative: containerOutOfBounds with std::vector::front() and c++11 braced initializer (#2958) More... almost 6 years ago
Fixed Cppcheck warning; Redundant assignment More... almost 6 years ago
Bug hunting; void* => might point at uninitialized data More... almost 6 years ago
Bug hunting; Remove old value from array when it is overwritten More... almost 6 years ago
MISRA 9.2 to 9.5 (#2954) More... almost 6 years ago
Fix issue 10035: FP: knownConditionTrueFalse when bool updated in for loop (#2953) More... almost 6 years ago
CI: build oss-fuzz client using make (#2951) More... almost 6 years ago
insert simplified types for implicit template type deduction (#2952) More... almost 6 years ago
Update z3 for appveyor build (#2950) More... almost 6 years ago
Update workflows to Ubuntu 20.04 (#2948) More... almost 6 years ago
Fix Cppcheck warning nullPointerRedundantCheck More... almost 6 years ago
Bug hunting; Fixed array init More... almost 6 years ago
Bug hunting; Code cleanup More... almost 6 years ago
Bug hunting; Better result from function that returns unknown pointer result More... almost 6 years ago
Bug hunting; Improved debug output for structs More... almost 6 years ago
Fix issue 10024: FP: nullPointerRedundantCheck when using a goto statement (#2947) More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces More... almost 6 years ago
windows.cfg: Added support for TerminateThread() More... almost 6 years ago
Bug hunting; Fix for '*x=y' More... almost 6 years ago
CI-Windows: Use Z3 4.8.9 (#2946) More... almost 6 years ago
ExprEngine: Better debug output for exceptions (#2943) More... almost 6 years ago
.clang-tidy: Add -llvmlibc-* suppressions (#2942) More... almost 6 years ago
Fix Cppcheck warning More... almost 6 years ago
TestExprEngine: Temporary convert ASSERT_EQUALS to TODO_ASSERT_EQUALS More... almost 6 years ago
ExprEngine: Handle pointers to struct as function argument (#2945) More... almost 6 years ago