1. 3bb662a AnonPointeeRegions are now identified by the MemRegion of the pointer pointing by Zhongxing Xu · 16 years ago
  2. 562731e Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber(). by Ted Kremenek · 16 years ago
  3. 6d0e2d2 Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which will soon be removed). by Ted Kremenek · 16 years ago
  4. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  5. d9d22dd Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of by Chris Lattner · 16 years ago
  6. 34265e7 Fold assertion into second valid else branch. This removes a compiler warning by Ted Kremenek · 16 years ago
  7. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
  8. 56af977 Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion's by Zhongxing Xu · 16 years ago
  9. d2f016f Fix StringLiteral print bug. by Zhongxing Xu · 16 years ago
  10. cc128b3 Add pretty printing to StringRegion. by Zhongxing Xu · 16 years ago
  11. 817c67d - Remove AnonTypedRegion, which is not to be used. by Zhongxing Xu · 16 years ago
  12. 7090ae1 Added AllocaRegion, which represents regions created by calls to alloca(). by Ted Kremenek · 16 years ago
  13. 9a1f03a Pull determination of the super region for a VarRegion into a single getVarRegion() method. This provides a common clean API for clients. by Ted Kremenek · 16 years ago
  14. 329d6fd Added CompoundLiteralRegion to represent the (temporary) memory allocated for a compound literal. by Ted Kremenek · 16 years ago
  15. 27b5706 An ElementRegion is really a typed region. Its super region's type has to be ArrayType. by Zhongxing Xu · 16 years ago
  16. e9f4e54 Add StringRegion to MemRegions. by Zhongxing Xu · 16 years ago
  17. a7f1b9e Added region ObjCObjectRegion that represents an instance of an Objective-C object. by Ted Kremenek · 16 years ago
  18. b21ff77 Add printing method to ElementRegion. by Zhongxing Xu · 16 years ago
  19. 511191c Add ElementRegion to represent memory chunks for array elements. by Zhongxing Xu · 16 years ago
  20. 4bd1eef Add pretty-printing support for FieldRegions. by Ted Kremenek · 16 years ago
  21. 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 16 years ago
  22. 1789275 This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc. by Zhongxing Xu · 16 years ago
  23. 722c288 Fix typos. by Zhongxing Xu · 16 years ago
  24. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago