aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ExplodedGraph.cpp
AgeCommit message (Expand)Author
2009-11-10Fix clang's use of DenseMap iterators after r86636 fixed their constness.Jeffrey Yasskin
2009-10-07Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding mal...Ted Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-06Core analysis engine template cleanup step 2: Zhongxing Xu
2009-08-06When profiling an ExplodedNode, don't re-profile the state: they haveTed Kremenek
2009-08-06As GRState seems general enough, it is time to merge some template classes Zhongxing Xu
2009-03-12Use the correct data structures!Ted Kremenek
2009-02-20Greatly simplify the logic in ExplodedGraphImpl::TrimGraph. Now we just do aTed Kremenek
2009-02-18Hooked up the necessary machinery to allow the retain/release checker referenceTed Kremenek
2009-02-04Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek
2009-01-24More hacking on static analyzer diagnostics. When emitting summary diagnosti...Ted Kremenek
2008-08-27Added "Auditor" interface for auditing the construction of ExplodedGraphs.Ted Kremenek
2008-08-27Make implementation of ExplodedNodeImpl::addPredecessor out-of-line.Ted Kremenek
2008-04-22Use back() instead of end()-1Argyrios Kyrtzidis
2008-04-20Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis!Ted Kremenek
2008-04-16In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by usingTed Kremenek
2008-03-15Make a major restructuring of the clang tree: introduce a top-levelChris Lattner