1. d331d09 Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 17 years ago
  2. dccd988 Initialize tracked local variables to undefined. by Ted Kremenek · 17 years ago
  3. 7a51313 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 18 years ago[Renamed from clang/Analysis/SymbolManager.cpp]
  4. e2f6d6c Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. by Ted Kremenek · 18 years ago
  5. 68d73d1 Prototype (pre-alpha) implementation of CFRef checker. by Ted Kremenek · 18 years ago
  6. 3a8edd8 fix typos by Gabor Greif · 18 years ago
  7. 06b6710 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 18 years ago
  8. 4baef06 Implemented "getType()" for symbolic values representing the "contents" of by Ted Kremenek · 18 years ago
  9. 074965c Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 18 years ago