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
ExprEngine: Use smt solver Z3 More... about 7 years ago
Fix #9381 (alias in namespace not replaced in method declaration) (#2232) More... about 7 years ago
Fix Cppcheck internal warning More... about 7 years ago
SymbolDatabase: look for functions in anonymous namespaces in the findFunction More... about 7 years ago
Removed extra zero division heuristics, they seem redundant as ValueType is used More... about 7 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home. More... about 7 years ago
Formatted the code, there are no functional changes [ci skip]. More... about 7 years ago
wxwidgets.cfg: Added support for functions from <wx/stopwatch.h> More... about 7 years ago
Fix issue 2153: valueFlowAfterCondition: struct member (#2228) More... about 7 years ago
Typos found by running "codespell" (#2227) More... about 7 years ago
ExprEngine: Simplify array value if possible, ensure each array data has a unique name More... about 7 years ago
Fixed Cppcheck warning More... about 7 years ago
ExprEngine: Bailout when for|while|switch is seen More... about 7 years ago
PodType: Add test More... about 7 years ago
Library: added 'stdtype' attribute in <podtype> element so we can configure standard types better More... about 7 years ago
ExprEngine: Add --debug-verify, fixed handling of global arrays More... about 7 years ago
ExprEngine: Fix NULL pointer dereference tests More... about 7 years ago
donate-cpu.py: Add internal timing information of Cppcheck to output (#2217) More... about 7 years ago
Fix gcc compiler warnings More... about 7 years ago
Try to make Travis happy More... about 7 years ago
avoid some unnecessary copies in emplace_back() calls (#2194) More... about 7 years ago
misra.py: Fix Rule 4.1 (#2216) More... about 7 years ago
ExprEngine: Add some CWE476 (Null pointer dereference) checks More... about 7 years ago
ExprEngine: Translate uninitialized values to value ranges More... about 7 years ago
ExprEngine: Handle void* -> int* casts better More... about 7 years ago
SymbolDatabase: Better handling when return type of function is PodType More... about 7 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home. More... about 7 years ago
ExprEngine: Adjust the command line in test/verify/juliet.py More... about 7 years ago
ExprEngine: Added a testscript that uses the juliet testsuite More... about 7 years ago
ExprEngine: Do not bailout if function type is not known if the result is not used anyway More... about 7 years ago