aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
2012-09-11[analyzer] Use the static type for a virtual call if the dynamic type is worse.Jordan Rose
2012-09-11[analyzer] Disable STL inlining. Blocked by PR13724.Anna Zaks
2012-09-11[analyzer] Member function calls that use qualified names are non-virtual.Jordan Rose
2012-09-10[analyzer] Turn stl inlining back on.Anna Zaks
2012-09-10[analyzer] Do not count calls to small functions when computing stackAnna Zaks
2012-09-10[analyzer] Add an option to enable/disable objc inlining.Anna Zaks
2012-09-10[analyzer] Add ipa-always-inline-size option (with 3 as the default).Anna Zaks
2012-09-10[analyzer] Make the defaults explicit for each of the new config options.Jordan Rose
2012-09-10[analyzer] For now, don't inline C++ standard library functions.Jordan Rose
2012-09-10Remove redundant semicolons which are null statements.Dmitri Gribenko
2012-09-10Fix another case where we should be using isBeforeInTranslationUnit().Ted Kremenek
2012-09-10Add a few more cases where we should be using isBeforeInTranslationUnit().Ted Kremenek
2012-09-10Revert "Revert Ted's r163489 and r163490, due to breakage."Ted Kremenek
2012-09-10Make helper functions static.Benjamin Kramer
2012-09-10Revert Ted's r163489 and r163490, due to breakage.NAKAMURA Takumi
2012-09-10Use isBeforeInTranslationUnitThan() instead of operator<.Ted Kremenek
2012-09-10Take another crack at stabilizing the emission order of analyzerTed Kremenek
2012-09-10Indent the "message" key in analyzer plist output.Ted Kremenek
2012-09-09Remove dead method ProgramState::MarshalState().Ted Kremenek
2012-09-08Fix bug in BugReporter::RemoveUneededCalls() where "prunable"Ted Kremenek
2012-09-08Attempt (again) to stabilize the order of the emission of diagnosticsTed Kremenek
2012-09-08[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.Jordan Rose
2012-09-08[analyzer] Add debug output for ObjCSelfInitChecker's state.Jordan Rose
2012-09-08Revert "Attempt to make the PathDiagnostic emission order more deterministic by"Ted Kremenek
2012-09-08Revert "Further tweaks to hopefully make the PathDiagnostic emission more det...Ted Kremenek
2012-09-08[analyzer] Remove constraints on dead symbols as part of removeDeadBindings.Jordan Rose
2012-09-08[analyzer] Symbolic regions are live if any subregions are live.Jordan Rose
2012-09-08[analyzer] Cast the result of a placement new-expression to the correct type.Jordan Rose
2012-09-08[analyzer] Address John's code review for r163407.Anna Zaks
2012-09-07Further tweaks to hopefully make the PathDiagnostic emission more deterministic.Ted Kremenek
2012-09-07Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek
2012-09-07Attempt to make the PathDiagnostic emission order more deterministic byTed Kremenek
2012-09-07Remove ConstraintManager:isEqual(). It is no longer used.Ted Kremenek
2012-09-07[analyzer] Use cast<> instead of getAs<> for a CFGElement known to be a CFGStmt.Jordan Rose
2012-09-07[analyzer] Fix a false positive in sizeof malloc checker.Anna Zaks
2012-09-07[analyzer] Don't use the address of a temporary CFGElement.Jordan Rose
2012-09-07[analyzer] Explain why we need condition 8.Anna Zaks
2012-09-07Fix off-by-one bug in diagnostic prose of ObjCContainersASTChecker.Ted Kremenek
2012-09-07ExplodedGraph::shouldCollectNode() should not collect nodes for non-Expr StmtsTed Kremenek
2012-09-07Fix bug in ConditionBRVisitor where for C++ (and not C) we were not ignoringTed Kremenek
2012-09-07[analyzer] Fail gracefully when the dynamic type is outside the hierarchy.Jordan Rose
2012-09-06Teach RetainCountChecker that CFPlugInInstanceCreate does notTed Kremenek
2012-09-06[analyzer] Don't crash if we cache out while evaluating an ObjC message.Jordan Rose
2012-09-06Refine diagnostics for leaks reported when returning an objectTed Kremenek
2012-09-06Tweak DeadStoresChecker to not warn about dead stores to variables thatTed Kremenek
2012-09-06[analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose
2012-09-06Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky
2012-09-05[analyzer] Enhance the member expr tracking to account for references.Anna Zaks
2012-09-05[analyzer] Always include destructors in the analysis CFG.Jordan Rose
2012-09-05[analyzer] Fix a crash PR13762.Anna Zaks
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-06 15:24:45 +0000