summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-5/+5
* Reduce double set lookups. NFC.Benjamin Kramer2014-10-101-7/+2
* unique_ptrify ExplodedGraph::trimDavid Blaikie2014-09-051-3/+3
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-9/+10
* [analyzer] Fix for PR18394.Anton Yartsev2014-02-281-2/+7
* Use pop_back_val() instead of both back() and pop_back().Robert Wilhelm2013-08-231-4/+2
* [analyzer] Cleanup: only get the PostStmt when we need the underlying Stmt + ...Anna Zaks2013-03-271-4/+4
* Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."Jordan Rose2013-03-221-17/+2
* [analyzer] Break cycles (optionally) when trimming an ExplodedGraph.Jordan Rose2013-03-201-2/+17
* [analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose2013-03-161-38/+14
* [analyzer] Add stop-gap patch to prevent assertion failure when analyzing LLV...Ted Kremenek2013-02-271-1/+1
* [analyzer] Recover all PreStmtPurgeDeadSymbols nodes with a single successor ...Ted Kremenek2013-02-251-2/+21
* [analyzer] add the notion of an "interesting" lvalue expression for ExplodedN...Ted Kremenek2013-02-251-3/+15
* [analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek2013-02-241-10/+14
* Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie2013-02-211-3/+3
* [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
OpenPOWER on IntegriCloud