 Ted Kremenek
|
72e93068c9
Convert ProgramStateRef to a smart pointer for managing the reference counts of ProgramStates. This leads to a slight memory
|
13 лет назад |
 Anna Zaks
|
af5f550de3
[analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.
|
13 лет назад |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 лет назад |
|
Anna Zaks
|
be97b7edb1
[analyzer] Skip casts when determining taint dependencies + pretty
|
13 лет назад |
|
Ted Kremenek
|
0849ade4bb
[analyzer] fix inlining's handling of mapping actual to formal arguments and limit the call stack depth. The analyzer can now accurately simulate factorial for limited depths.
|
13 лет назад |
|
Anna Zaks
|
9f03b62036
[analyzer] Add basic format string vulnerability checking.
|
13 лет назад |
|
Ted Kremenek
|
5eca482fe8
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
|
13 лет назад |
|
Anna Zaks
|
eb31a76d1c
[analyzer] Be less pessimistic about invalidation of global variables
|
13 лет назад |
 David Blaikie
|
99ba9e3bd7
Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch
|
13 лет назад |
|
Anna Zaks
|
777d706547
[analyzer] Minor: Simplify & assert.
|
13 лет назад |
|
Anna Zaks
|
d3d8548e75
[analyzer] Better stdin support.
|
13 лет назад |
|
Anna Zaks
|
28fd98d66d
[analyzer] Minor refactor to addTaint.
|
13 лет назад |
|
Anna Zaks
|
e55a22b917
[analyzer] Mark getenv output as tainted.
|
13 лет назад |
|
Anna Zaks
|
24d052cdb7
[analyzer] Introduce IntSymExpr, where the integer is on the lhs.
|
13 лет назад |
|
Anna Zaks
|
5fc7def35e
[analyzer] If memory region is tainted mark data as tainted.
|
13 лет назад |
|
Anna Zaks
|
b39c5b4ddc
[analyzer] Cleanup: use the variable.
|
13 лет назад |
|
Anna Zaks
|
dcf06fa1fb
[analyzer] Propagate taint through MemRegions.
|
13 лет назад |
|
Anna Zaks
|
a91efb14cb
[analyzer] Add comments related to symbol_iterator
|
13 лет назад |
|
Anna Zaks
|
1d1d515b2b
[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it
|
13 лет назад |
|
Anna Zaks
|
aace9ef279
[analyzer] Propagate taint through NonLoc to NonLoc casts.
|
13 лет назад |
|
Anna Zaks
|
76462f0085
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
|
13 лет назад |
|
Anna Zaks
|
d0167853f4
[analyzer] Add ability to do a simple ProgramState dump() without
|
13 лет назад |
|
Anna Zaks
|
ee081c4051
[analyzer] Minor tweaks to the ProgramState::isTainted().
|
13 лет назад |
|
Anna Zaks
|
ceac1d6e05
[analyzer] Adding basic building blocks for taint propagation.
|
13 лет назад |
|
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 лет назад |
 Jordy Rose
|
d1e5a89226
[analyzer] Remove TransferFuncs.h, then deal with the fallout.
|
14 лет назад |
|
Jordy Rose
|
dbd658e139
[analyzer] Introduce a new callback for checkers, printState, to be used for debug-printing the contents of a ProgramState.
|
14 лет назад |
|
Jordy Rose
|
537716ad8d
[analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation.
|
14 лет назад |
|
Ted Kremenek
|
2fde35d893
Add ProgramState.cpp.
|
14 лет назад |
