Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make a major restructuring of the clang tree: introduce a top-level | Chris Lattner | 2008-03-15 | 1 | -124/+0 |
* | Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ... | Ted Kremenek | 2008-03-12 | 1 | -6/+6 |
* | Prototype (pre-alpha) implementation of CFRef checker. | Ted Kremenek | 2008-03-12 | 1 | -18/+74 |
* | fix typos | Gabor Greif | 2008-03-06 | 1 | -1/+1 |
* | Added lazy "symbolication" of parameter variables and global variables. | Ted Kremenek | 2008-02-26 | 1 | -4/+14 |
* | Implemented "getType()" for symbolic values representing the "contents" of | Ted Kremenek | 2008-02-19 | 1 | -1/+6 |
* | Further cleanup. Moved definitions for SymbolManager and ValueManager into | Ted Kremenek | 2008-02-16 | 1 | -0/+53 |