1. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  2. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  3. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  4. 9457a80 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 16 years ago
  5. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  6. 9945781 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  7. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  8. 39a1884 Include stdint.h instead of stdio.h. by Ted Kremenek · 16 years ago
  9. b8e26e6 Introduce initial transfer function support for __imag__ and __real__. We don't by Ted Kremenek · 16 years ago