1. 9457a80 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 16 years ago
  2. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  3. 2e84257 For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedRegions. It wasn't really doing the right thing and was crashing on rdar-6442306-1.m. This fix causes all path-sensitive test cases to pass with RegionStore. by Ted Kremenek · 16 years ago
  4. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  5. 560624a '&&' commands together so that the test status reflects the results of all the commands, otherwise the test status will be the result of only the last command. by Argyrios Kyrtzidis · 16 years ago
  6. 32dc95e Moved test case NoReturn.m from Analysis-Apple to Analysis (now works on all platforms). by Ted Kremenek · 16 years ago