 Benjamin Kramer
|
a93d0f2806
Include pruning and general cleanup.
|
12 jaren geleden |
 Jordan Rose
|
166d502d53
[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).
|
12 jaren geleden |
|
Jordan Rose
|
785950e594
[analyzer] Rename 'EmitReport' to 'emitReport'.
|
12 jaren geleden |
 Anna Zaks
|
5fc1d0c453
[analyzer] Teach the analyzer about implicit initialization of statics
|
13 jaren geleden |
|
Jordan Rose
|
a1f81bb0e5
[analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.
|
13 jaren geleden |
 Ted Kremenek
|
56a46b51df
Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to
|
13 jaren geleden |
|
Ted Kremenek
|
66c486f275
Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.
|
13 jaren geleden |
|
Ted Kremenek
|
3b1df8bb94
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
|
13 jaren geleden |
|
Jordan Rose
|
685379965c
[analyzer] When a symbol is null, we should track its constraints.
|
13 jaren geleden |
|
Jordan Rose
|
740d490593
[analyzer] Add a new abstraction over all types of calls: CallEvent
|
13 jaren geleden |
 Jordy Rose
|
6e4244ee86
[analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning.
|
13 jaren geleden |
|
Anna Zaks
|
dd160f3ed5
[analyzer] CString Checker: Do not split the path unless the user
|
13 jaren geleden |
|
Anna Zaks
|
259052d8c8
[analyzer] Don't crash even when the system functions are redefined.
|
13 jaren geleden |
|
Ted Kremenek
|
76aadc346c
[analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions.
|
13 jaren geleden |
|
Ted Kremenek
|
3133f79cf4
Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once.
|
13 jaren geleden |
|
Anna Zaks
|
f0dfc9c0f2
[analyzer] Fix another false positive in the Malloc Checker, by making
|
13 jaren geleden |
|
Anna Zaks
|
998e275428
[analyzer] Generalize function name checking in CString checker.
|
13 jaren geleden |
|
Anna Zaks
|
66c40400e7
[analyzer] Make Malloc Checker optimistic in presence of inlining.
|
13 jaren geleden |
|
Anna Zaks
|
5730076096
[analyzer] Allow each CString check to be enabled/disabled
|
13 jaren geleden |
 Dylan Noblesmith
|
f7ccbad5d9
Basic: import SmallString<> into clang namespace
|
13 jaren geleden |
|
Dylan Noblesmith
|
6f42b62b61
Basic: import OwningPtr<> into clang namespace
|
13 jaren geleden |
|
Benjamin Kramer
|
8fe83e1df9
Move a method from IdentifierTable.h out of line and remove the SmallString include.
|
13 jaren geleden |
|
Benjamin Kramer
|
00bd44d567
Move various diagnostic operator<< overloads out of line and remove includes of Diagnostic.h.
|
13 jaren geleden |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 jaren geleden |
|
Ted Kremenek
|
5eca482fe8
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
|
13 jaren geleden |
|
Anna Zaks
|
e3d250e488
[analyzer] CStringChecker should not rely on the analyzer generating UndefOrUnknown value when it cannot reason about the expression.
|
13 jaren geleden |
|
Anna Zaks
|
1d1d515b2b
[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it
|
13 jaren geleden |
|
Anna Zaks
|
b805c8ff13
[analyzer] Refactor checkers to use helper function for getting callee Decl and name.
|
13 jaren geleden |
|
Anna Zaks
|
39ac1876f6
[analyzer] Add getLocationContext to CheckerContext
|
14 jaren geleden |
|
Anna Zaks
|
0bd6b110e9
[analyzer] Rename generateNode -> addTransition in CheckerContext
|
14 jaren geleden |
