| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [analyzer] Remove all uses of ConstraintManager::canResonAbout() from | Anna Zaks | 2011-12-05 | 1 | -3/+2 | 
| * | [analyzer] Add ability to do a simple ProgramState dump() without | Anna Zaks | 2011-12-05 | 1 | -36/+58 | 
| * | [analyzer] Minor tweaks to the ProgramState::isTainted(). | Anna Zaks | 2011-11-17 | 1 | -6/+4 | 
| * | [analyzer] Adding basic building blocks for taint propagation. | Anna Zaks | 2011-11-16 | 1 | -0/+50 | 
| * | ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call sin... | Anna Zaks | 2011-09-22 | 1 | -29/+0 | 
| * | [analyzer] Remove TransferFuncs.h, then deal with the fallout. | Jordy Rose | 2011-09-02 | 1 | -1/+0 | 
| * | [analyzer] Introduce a new callback for checkers, printState, to be used for ... | Jordy Rose | 2011-08-28 | 1 | -18/+14 | 
| * | [analyzer] Change the check::RegionChanges callback to include the regions ex... | Jordy Rose | 2011-08-27 | 1 | -20/+17 | 
| * | Add ProgramState.cpp. | Ted Kremenek | 2011-08-15 | 1 | -0/+662 | 

