summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/ExplodedGraph.cpp
Commit message (Expand)AuthorAgeFilesLines
* Core analysis engine template cleanup step 2: Zhongxing Xu2009-08-061-11/+52
* When profiling an ExplodedNode, don't re-profile the state: they haveTed Kremenek2009-08-061-1/+1
* As GRState seems general enough, it is time to merge some template classes Zhongxing Xu2009-08-061-33/+41
* Use the correct data structures!Ted Kremenek2009-03-121-5/+3
* Greatly simplify the logic in ExplodedGraphImpl::TrimGraph. Now we just do aTed Kremenek2009-02-201-111/+42
* Hooked up the necessary machinery to allow the retain/release checker referenceTed Kremenek2009-02-181-1/+4
* Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek2009-02-041-10/+32
* More hacking on static analyzer diagnostics. When emitting summary diagnosti...Ted Kremenek2009-01-241-13/+12
* Added "Auditor" interface for auditing the construction of ExplodedGraphs.Ted Kremenek2008-08-271-0/+23
* Make implementation of ExplodedNodeImpl::addPredecessor out-of-line.Ted Kremenek2008-08-271-0/+6
* Use back() instead of end()-1Argyrios Kyrtzidis2008-04-221-2/+2
* Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis!Ted Kremenek2008-04-201-2/+5
* In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by usingTed Kremenek2008-04-161-5/+34
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-0/+227