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: Execute false execution path even if there is no else, upon Z3 exception assume that value is in range (safe option) More... about 7 years ago
ExprEngine: Handle 'break' and 'while (0);' More... about 7 years ago
ExprEngine: ExprData::getConstraintExpr More... about 7 years ago
Fix #9383 ("debug: Function::addArguments found argument 'x' with varid 0." with variadic templates) (#2238) More... about 7 years ago
Fixed #9359 (SymbolDatabase: function lookup fails when -funsigned-char is used) More... about 7 years ago
Fix false negatives in checkBitwiseOnBoolean (#2220) More... about 7 years ago
Fixed #9382 (Hang: CheckLeakAutoVar pellepl/spiffs/src/spiffs_hydrogen.c) More... about 7 years ago
fix #9392 (SymbolDatabase: Weird default constructor outside class) (#2243) More... about 7 years ago
SymbolDatabase: set value type for std::move() More... about 7 years ago
ExprEngine: Avoid endless recursion for struct members that have struct type More... about 7 years ago
ExprEngine: Fix ExprEngin::IntRange::isIntValueInRange More... about 7 years ago
astyle formatting More... about 7 years ago
Fix issue 9317: False positive returnDanglingLifetime when using reference to constant inside if statement (#2241) More... about 7 years ago
Dont warn for arrays that are containers (#2240) More... about 7 years ago
astyle formatting More... about 7 years ago
Fix #9388 ("debug: Executable scope 'x' with unknown function." with alias used in initialization list) (#2239) More... about 7 years ago
reduce.py: Allow reducing error messages, print output in case of error (#2179) More... about 7 years ago
ExprEngine: Small tweaks More... about 7 years ago
fix #8965 ("(debug) Executable scope 'x' with unknown function." with rvalue parameter in method) (#2237) More... about 7 years ago
SymbolDatabase: Add test to ensure findFunction looks in current scope first More... about 7 years ago
MISRA: add exception to rule 3.1 (#2231) More... about 7 years ago
Fix #9385 ("debug: Executable scope 'func' with unknown function" with parameter in member function) (#2235) More... about 7 years ago
ExprEngine: test pointer More... about 7 years ago
ExprEngine: Arrays if-then-else More... about 7 years ago
ExprEngine: Removed NullPointerDereference checker for now. More... about 7 years ago
fix syntax error on template operator (#2225) More... about 7 years ago
misra: fix false positive in 11.7 (#2233) More... about 7 years ago
Forward values after assignment in valueFlowReverse (#2226) More... about 7 years ago
ExprEngine: Rename Data::conditions => Data::constraints More... about 7 years ago
ExprEngine: Better handling of if/else More... about 7 years ago