summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Remove isa<> followed by dyn_cast<>.Jordan Rose2012-12-061-7/+6
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-3/+3
* [analyzer] Use the CallEnter node to get a value for tracked null arguments.Jordan Rose2012-10-291-2/+2
* [analyzer] Replace -analyzer-no-eagerly-trim-egraph with graph-trim-interval.Jordan Rose2012-10-231-8/+6
* [analyzer] Allow a BugReport to be marked "invalid" during path generation.Jordan Rose2012-09-221-2/+2
* [analyzer] Explain why we need condition 8.Anna Zaks2012-09-071-1/+4
* ExplodedGraph::shouldCollectNode() should not collect nodes for non-Expr StmtsTed Kremenek2012-09-071-3/+3
* [analyzer] Rename CallEvent::mayBeInlined to CallEvent::isCallStmt.Jordan Rose2012-08-281-1/+1
* [analyzer] Add comments to ExplodedNode::NodeGroup.Jordan Rose2012-08-201-0/+12
* [analyzer] Use PointerUnion to implement ExplodedNode::NodeGroup.Jordan Rose2012-08-181-51/+57
* [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose2012-07-261-1/+1
* [analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.Jordan Rose2012-07-101-3/+2
* [analyzer] Move the last bits of CallOrObjCMessage over to CallEvent.Jordan Rose2012-07-021-3/+3
* [analyzer] Remove a statistic - it's too expensive.Anna Zaks2012-06-221-6/+0
* [analyzer]scan-build: report the total number of steps analyzer performsAnna Zaks2012-06-221-0/+7
* [analyzer] Rely on canBeInlined utility instead of checking CallExprAnna Zaks2012-06-021-1/+2
* [analyzer] Fix a spurious undef value warning.Anna Zaks2012-06-011-1/+9
* [analyzer] Run remove dead bindings right before leaving a function.Anna Zaks2012-04-201-2/+3
* Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine....Ted Kremenek2012-02-161-10/+16
* Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also h...Ted Kremenek2012-02-161-16/+10
* Minor cleanup to node data structures in ExplodedGraph. No functionality cha...Ted Kremenek2012-02-161-34/+15
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-1/+1
* Minor refactor within ExplodedGraph::reclaimRecentlyAllocatedNodes(). No fun...Ted Kremenek2012-01-311-64/+76
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-3/+3
* Reduce peak memory usage of the static analyzer on sqlite3 (when using inlini...Ted Kremenek2012-01-251-3/+23
* Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up in...Ted Kremenek2012-01-111-1/+2
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+2
* [analyzer] Make sink attribute part of the node profile.Anna Zaks2011-11-011-8/+6
* [analyzer] Remove PostStmtCustom ProgramPoint. It can be represented using t...Ted Kremenek2011-08-161-2/+1
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-4/+4
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-10/+10
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-1/+1
* fix a bunch of comment typos found by codespell. Patch byChris Lattner2011-04-151-1/+1
* Change 'StoreRef' back to 'Store' in GRState, shrinking the size of GRState b...Ted Kremenek2011-02-191-1/+1
* static analyzer: Make GRStates reference counted, with reference counts manag...Ted Kremenek2011-02-101-0/+2
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-2/+2
* static analyzer: Further reduce the analyzer's memory usage when analyzing sq...Ted Kremenek2011-02-091-2/+110
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+282
OpenPOWER on IntegriCloud