Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactored most of the "Store" piece of ValueState into a Store type. The | Ted Kremenek | 2008-07-10 | 1 | -8/+10 |
* | Modified the dead stores checker to... | Ted Kremenek | 2008-06-20 | 1 | -13/+0 |
* | Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point disti... | Ted Kremenek | 2008-06-18 | 1 | -2/+20 |
* | Major rewrite/refactoring of static analysis engine. We now use | Ted Kremenek | 2008-04-29 | 1 | -4/+7 |
* | Fixed more caching bugs related to the one fixed in r49914. Silence | Ted Kremenek | 2008-04-18 | 1 | -3/+1 |
* | Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the nod... | Ted Kremenek | 2008-04-18 | 1 | -1/+2 |
* | Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct | Ted Kremenek | 2008-04-16 | 1 | -1/+1 |
* | Added "GREndPathNodeBuilder", a new node builder that will be used for | Ted Kremenek | 2008-04-11 | 1 | -9/+27 |
* | Make a major restructuring of the clang tree: introduce a top-level | Chris Lattner | 2008-03-15 | 1 | -0/+444 |