aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExplodedGraph.cpp
AgeCommit message (Expand)Author
2013-03-27[analyzer] Cleanup: only get the PostStmt when we need the underlying Stmt + ...Anna Zaks
2013-03-22Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."Jordan Rose
2013-03-20[analyzer] Break cycles (optionally) when trimming an ExplodedGraph.Jordan Rose
2013-03-16[analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose
2013-02-27[analyzer] Add stop-gap patch to prevent assertion failure when analyzing LLV...Ted Kremenek
2013-02-25[analyzer] Recover all PreStmtPurgeDeadSymbols nodes with a single successor ...Ted Kremenek
2013-02-25[analyzer] add the notion of an "interesting" lvalue expression for ExplodedN...Ted Kremenek
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2012-12-06[analyzer] Remove isa<> followed by dyn_cast<>.Jordan Rose
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-10-29[analyzer] Use the CallEnter node to get a value for tracked null arguments.Jordan Rose
2012-10-23[analyzer] Replace -analyzer-no-eagerly-trim-egraph with graph-trim-interval.Jordan Rose
2012-09-22[analyzer] Allow a BugReport to be marked "invalid" during path generation.Jordan Rose
2012-09-07[analyzer] Explain why we need condition 8.Anna Zaks
2012-09-07ExplodedGraph::shouldCollectNode() should not collect nodes for non-Expr StmtsTed Kremenek
2012-08-28[analyzer] Rename CallEvent::mayBeInlined to CallEvent::isCallStmt.Jordan Rose
2012-08-20[analyzer] Add comments to ExplodedNode::NodeGroup.Jordan Rose
2012-08-18[analyzer] Use PointerUnion to implement ExplodedNode::NodeGroup.Jordan Rose
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-10[analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.Jordan Rose
2012-07-02[analyzer] Move the last bits of CallOrObjCMessage over to CallEvent.Jordan Rose
2012-06-22[analyzer] Remove a statistic - it's too expensive.Anna Zaks
2012-06-22[analyzer]scan-build: report the total number of steps analyzer performsAnna Zaks
2012-06-02[analyzer] Rely on canBeInlined utility instead of checking CallExprAnna Zaks
2012-06-01[analyzer] Fix a spurious undef value warning.Anna Zaks
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-02-16Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine....Ted Kremenek
2012-02-16Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also h...Ted Kremenek
2012-02-16Minor cleanup to node data structures in ExplodedGraph. No functionality cha...Ted Kremenek
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-01-31Minor refactor within ExplodedGraph::reclaimRecentlyAllocatedNodes(). No fun...Ted Kremenek
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-25Reduce peak memory usage of the static analyzer on sqlite3 (when using inlini...Ted Kremenek
2012-01-11Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up in...Ted Kremenek
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-11-01[analyzer] Make sink attribute part of the node profile.Anna Zaks
2011-08-16[analyzer] Remove PostStmtCustom ProgramPoint. It can be represented using t...Ted Kremenek
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-04-15fix a bunch of comment typos found by codespell. Patch byChris Lattner
2011-02-19Change 'StoreRef' back to 'Store' in GRState, shrinking the size of GRState b...Ted Kremenek
2011-02-10static analyzer: Make GRStates reference counted, with reference counts manag...Ted Kremenek
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-09static analyzer: Further reduce the analyzer's memory usage when analyzing sq...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-30 05:29:19 +0000