Age | Commit message (Expand) | Author |
---|---|---|
2009-02-20 | Greatly simplify the logic in ExplodedGraphImpl::TrimGraph. Now we just do a | Ted Kremenek |
2009-02-18 | Hooked up the necessary machinery to allow the retain/release checker reference | Ted Kremenek |
2009-02-04 | Overhaul BugReporter interface and implementation. The new interface cleans up | Ted Kremenek |
2009-01-24 | More hacking on static analyzer diagnostics. When emitting summary diagnosti... | Ted Kremenek |
2008-08-27 | Added "Auditor" interface for auditing the construction of ExplodedGraphs. | Ted Kremenek |
2008-08-27 | Make implementation of ExplodedNodeImpl::addPredecessor out-of-line. | Ted Kremenek |
2008-04-22 | Use back() instead of end()-1 | Argyrios Kyrtzidis |
2008-04-20 | Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis! | Ted Kremenek |
2008-04-16 | In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by using | Ted Kremenek |
2008-03-15 | Make a major restructuring of the clang tree: introduce a top-level | Chris Lattner |