1. 2a723e6 Added pretty-printing support for checker-specific state for the CFRefCount checker. by Ted Kremenek · 18 years ago
  2. e560556 Added bookkeeping of error nodes. by Ted Kremenek · 18 years ago
  3. bf9d804 Added main logic for typestate tracking for the CFRetain checker. by Ted Kremenek · 18 years ago
  4. 819e9b6 Added main skeleton for CFRetain transfer function logic. by Ted Kremenek · 18 years ago
  5. 910e9de Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 18 years ago
  6. 3a8edd8 fix typos by Gabor Greif · 18 years ago
  7. ea6507f Added boilerplate to execute the CF reference count checker (which isn't yet implemented). by Ted Kremenek · 18 years ago