Commits · 251084d03e53dbad8eff9c15f99f3932c5e8c516 · Roger Ferrer / llvm-epi-0.8

Mar 11, 2008
- Added pretty-printing support for checker-specific state for the CFRefCount checker. · 2a723e6e
  Ted Kremenek authored Mar 11, 2008
```
llvm-svn: 48242
```
  2a723e6e
- Added bookkeeping of error nodes. · e5605568
  Ted Kremenek authored Mar 11, 2008
```
llvm-svn: 48234
```
  e5605568
- Added main logic for typestate tracking for the CFRetain checker. · bf9d8048
  Ted Kremenek authored Mar 11, 2008
```
llvm-svn: 48231
```
  bf9d8048
- Added main skeleton for CFRetain transfer function logic. · 819e9b6f
  Ted Kremenek authored Mar 11, 2008
```
llvm-svn: 48214
```
  819e9b6f
Mar 07, 2008
- Renamed ValueManager to BasicValueFactory. · 910e9de1
  Ted Kremenek authored Mar 07, 2008
```
llvm-svn: 48025
```
  910e9de1
Mar 06, 2008
- fix typos · 3a8edd85
  Gabor Greif authored Mar 06, 2008
```
llvm-svn: 47995
```
  3a8edd85
- Added boilerplate to execute the CF reference count checker (which isn't yet implemented). · ea6507fe
  Ted Kremenek authored Mar 06, 2008
```
llvm-svn: 47982
```
  ea6507fe