aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
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
2012-09-05[analyzer] NullOrUndef diagnostics: track symbols binded to regions.Anna Zaks
2012-09-05[analyzer] Remove unneeded code.Anna Zaks
2012-09-05[analyzer] Be more forgiving about calling methods on struct rvalues.Jordan Rose
2012-09-05[analyzer] Clean up a couple uses of getPointeeType().Jordan Rose
2012-09-05Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose
2012-09-04Fix indentation.Ted Kremenek
2012-09-04[analyzer] Don't use makeIntVal to create a floating-point value.Jordan Rose
2012-09-04Revert r163083 per chandlerc's request.Joao Matos
2012-09-02Implemented parsing and AST support for the MS __leave exception statement. A...Joao Matos
2012-09-01[analyzer] Silence unused variable warnings in NDEBUG builds.Jordan Rose
2012-09-01[analyzer] Disallow creation of int vals with explicit bit width / signedness.Jordan Rose
2012-09-01[analyzer] Don't attempt to create a floating-point value of "1" for ++/--.Jordan Rose
2012-09-01[analyzer] Future-proofing r163012 (nameless functions and RetainCountChecker)Jordan Rose
2012-09-01[analyzer] Treat all struct values as regions (even rvalues).Jordan Rose
2012-09-01[analyzer] Always derive a CallEvent's return type from its origin expr.Jordan Rose
2012-09-01Split library clangRewrite into clangRewriteCore and clangRewriteFrontend.Ted Kremenek
2012-08-31[analyzer] RetainCountChecker: don't assume all functions have names.Jordan Rose
2012-08-31[analyzer] Though C++ inlining is enabled, don't inline ctors and dtors.Jordan Rose
2012-08-31Make AnalyzerOptions a shared object between CompilerInvocation andTed Kremenek
2012-08-31Move AnalyzerOptions.h into 'Core' StaticAnalyzer sub-library.Ted Kremenek
2012-08-31[analyzer] Ensure that PathDiagnostics profile the same regardless of path.Jordan Rose
2012-08-31[analyzer] Fix a crash in plist-html generation introduced in r162939.Jordan Rose
2012-08-31Change the representation of builtin functions in the ASTEli Friedman
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-09 20:56:30 +0000