1. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  2. 988dc7e RegionStoreManager now correctly passes this test file. by Ted Kremenek · 15 years ago
  3. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  4. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  5. 0c31317 Enhance diagnostics value tracking logic for null dereferences and uninitialized values. by Ted Kremenek · 15 years ago
  6. fe630b9 GRExprEngine: Don't try to reason about the size of 'void' for the return type by Ted Kremenek · 15 years ago
  7. 748dd20 Force triple for these tests. by Daniel Dunbar · 15 years ago
  8. da9ae60 Enhance analyzer reasoning about sending messages to nil. A nil receiver returns 0 for scalars of size <= sizeof(void*). by Ted Kremenek · 15 years ago
  9. 899b3de New static analyzer check by Nikita Zhuk! by Ted Kremenek · 15 years ago