1. c4385b4 Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
  2. 465f25a Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
  3. fe1a0b1 Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 16 years ago
  4. be1a7a0 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/BasicValueFactory.cpp]
  5. 8ad1987 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago[Renamed (84%) from Analysis/ValueManager.cpp]
  6. 2224fcb fix typos by Gabor Greif · 17 years ago
  7. 8cd0e93 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
  8. c2d0720 Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 17 years ago
  9. 7c79a79 Added missing case in constant propagation logic for handling the Xor of by Ted Kremenek · 17 years ago
  10. 94e915e Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 17 years ago