aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ExplodedGraph.cpp
AgeCommit message (Expand)Author
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