 Anna Zaks
|
1d1d515b2b
[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it
|
13 years ago |
|
Anna Zaks
|
aace9ef279
[analyzer] Propagate taint through NonLoc to NonLoc casts.
|
13 years ago |
|
Anna Zaks
|
76462f0085
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
|
13 years ago |
|
Anna Zaks
|
d0167853f4
[analyzer] Add ability to do a simple ProgramState dump() without
|
13 years ago |
|
Anna Zaks
|
ee081c4051
[analyzer] Minor tweaks to the ProgramState::isTainted().
|
13 years ago |
|
Anna Zaks
|
ceac1d6e05
[analyzer] Adding basic building blocks for taint propagation.
|
13 years ago |
|
Anna Zaks
|
5f625712f6
ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call since one SRM is created in each ScanReachableSymbols instance. Creating the object just once and calling only scan inside the loop gives ~ 14% speed up of the StaticAnalyzer run (Release+Asserts).
|
14 years ago |
 Jordy Rose
|
d1e5a89226
[analyzer] Remove TransferFuncs.h, then deal with the fallout.
|
14 years ago |
|
Jordy Rose
|
dbd658e139
[analyzer] Introduce a new callback for checkers, printState, to be used for debug-printing the contents of a ProgramState.
|
14 years ago |
|
Jordy Rose
|
537716ad8d
[analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation.
|
14 years ago |
 Ted Kremenek
|
2fde35d893
Add ProgramState.cpp.
|
14 years ago |
