summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Core/ExplodedGraph.cpp
Commit message (Expand)AuthorAgeFilesLines
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [AST] [analyzer] NFC: Reuse code in stable ID dumping methods.Artem Dergachev2018-12-031-4/+1
* [analyzer] Fix a bug in "collapsed" graph viewerGeorge Karpenkov2018-10-251-1/+2
* [analyzer] Skip printing trivial nodes in exploded graphGeorge Karpenkov2018-09-071-0/+5
* [analyzer] Dump stable identifiers for exploded nodesGeorge Karpenkov2018-09-061-0/+7
* [analyzer] Remove traces of ubigraph visualizationGeorge Karpenkov2018-09-061-20/+0
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-02-261-22/+25
* [NFC] Header cleanupMehdi Amini2016-07-181-2/+0
* [Analyzer] Don't cache report generation ExplodedNodesBen Craig2016-06-231-2/+9
* Roll-back r250822.Angel Garcia Gomez2015-10-201-2/+2
* Apply modernize-use-default to clang.Angel Garcia Gomez2015-10-201-2/+2
* [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