Commits · 723849a17fb0ce15ef233b1fbebca692f6b19d21 · Roger Ferrer / llvm-epi-0.8

Mar 12, 2008
- Added generation of symbolic values for the return values of functions that have · 626bd2d3
  Ted Kremenek authored Mar 12, 2008
```
no summaries (useful for false-path pruning).

llvm-svn: 48301
```
  626bd2d3
- Prototype (pre-alpha) implementation of CFRef checker. · 68d73d19
  Ted Kremenek authored Mar 12, 2008
```
llvm-svn: 48272
```
  68d73d19
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