 Jordan Rose
|
24c7f98828
[analyzer] Remove constraints on dead symbols as part of removeDeadBindings.
|
13 years ago |
 Ted Kremenek
|
47cbd0f389
Remove ProgramState::getSymVal(). It was being misused by Checkers,
|
13 years ago |
|
Ted Kremenek
|
56a46b51df
Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to
|
13 years ago |
|
Ted Kremenek
|
32a549a649
Remove Store::bindDecl() and Store::bindDeclWithNoInit(), and
|
13 years ago |
|
Ted Kremenek
|
5be88dc79d
Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' and
|
13 years ago |
|
Jordan Rose
|
0ad36baedc
[analyzer] Correctly devirtualize virtual method calls in destructors.
|
13 years ago |
|
Jordan Rose
|
f41c0dd023
[analyzer] Look up DynamicTypeInfo by region instead of symbol.
|
13 years ago |
 Anna Zaks
|
d4fe57f7f7
[analyzer] Rename the function to better reflect what it actually does.
|
13 years ago |
|
Jordan Rose
|
0d53ab4024
[analyzer] Track malloc'd regions stored in structs.
|
13 years ago |
|
Jordan Rose
|
e0d24eb106
[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.
|
13 years ago |
|
Anna Zaks
|
c7ecc43c33
[analyzer] Add a checker to manage dynamic type propagation.
|
13 years ago |
|
Anna Zaks
|
c1290e0060
[analyzer] Fixup: remove the extra whitespace
|
13 years ago |
|
Anna Zaks
|
148fee988e
[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM
|
13 years ago |
|
Anna Zaks
|
2d18419a7c
[analyzer] Very simple ObjC instance method inlining
|
13 years ago |
|
Jordan Rose
|
972a3680bd
[analyzer] Introduce a CallEventManager to keep a pool of CallEvents.
|
13 years ago |
|
Jordan Rose
|
e54cfc7b99
[analyzer] Use CallEvent for building inlined stack frames.
|
13 years ago |
|
Jordan Rose
|
740d490593
[analyzer] Add a new abstraction over all types of calls: CallEvent
|
13 years ago |
|
Ted Kremenek
|
7fa9b4f258
static analyzer: add inlining support for directly called blocks.
|
13 years ago |
|
Ted Kremenek
|
7f9b1d963d
Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586>
|
13 years ago |
|
Ted Kremenek
|
3133f79cf4
Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once.
|
13 years ago |
|
Anna Zaks
|
66c40400e7
[analyzer] Make Malloc Checker optimistic in presence of inlining.
|
13 years ago |
 Argyrios Kyrtzidis
|
a5888f61be
Reapply r149311 which I reverted by mistake.
|
13 years ago |
|
Argyrios Kyrtzidis
|
b9b0f6fb6e
Revert r149311 which failed to compile.
|
13 years ago |
|
Ted Kremenek
|
72e93068c9
Convert ProgramStateRef to a smart pointer for managing the reference counts of ProgramStates. This leads to a slight memory
|
13 years ago |
|
Anna Zaks
|
af5f550de3
[analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.
|
13 years ago |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 years ago |
|
Anna Zaks
|
be97b7edb1
[analyzer] Skip casts when determining taint dependencies + pretty
|
13 years ago |
|
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 years ago |
|
Anna Zaks
|
9f03b62036
[analyzer] Add basic format string vulnerability checking.
|
13 years ago |
|
Ted Kremenek
|
5eca482fe8
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
|
13 years ago |
