 Anna Zaks
|
135d0fe1ae
[analyzer] Fix typo.
|
12 years ago |
 Chandler Carruth
|
55fc873017
Sort all of Clang's files under 'lib', and fix up the broken headers
|
12 years ago |
 Ted Kremenek
|
9c0466603f
Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <rdar://problem/12759044>.
|
12 years ago |
|
Ted Kremenek
|
732cdf383f
Remove unnecessary ASTContext& parameter from SymExpr::getType().
|
13 years ago |
|
Ted Kremenek
|
47cbd0f389
Remove ProgramState::getSymVal(). It was being misused by Checkers,
|
13 years ago |
 Jordan Rose
|
4e45dba1c0
[analyzer] Clean up a couple uses of getPointeeType().
|
13 years ago |
|
Jordan Rose
|
791dd0a3f8
[analyzer] Don't use makeIntVal to create a floating-point value.
|
13 years ago |
|
Anna Zaks
|
783f0087ec
[analyzer] Fixit for r158136.
|
13 years ago |
|
Anna Zaks
|
e17fdb2d5d
[analyzer] Anti-aliasing: different heap allocations do not alias
|
13 years ago |
 David Blaikie
|
581deb3da4
Revert Decl's iterators back to pointer value_type rather than reference value_type
|
13 years ago |
 Jordy Rose
|
d3b6d99cd5
[analyzer] Add an abstraction for the bit width and signedness of an APSInt. No functionality change.
|
13 years ago |
|
Anna Zaks
|
6400f02ab2
[analyzer] Fix a crash in triggered by OSAtomicChecker.
|
13 years ago |
|
David Blaikie
|
3127d48cd8
Remove variable made unused by r156270.
|
13 years ago |
|
Jordy Rose
|
c838fd2ab8
[analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and handle mixed-type operations more generally.
|
13 years ago |
|
Jordy Rose
|
90a7126f76
[analyzer] When promoting constant integers in a comparison, use the larger width of the two to avoid truncation.
|
13 years ago |
|
Jordy Rose
|
14d20b1dff
[analyzer] Equality ops are like relational ops in that the arguments shouldn't be converted to the result type. Fixes PR12206 and dupe PR12510.
|
13 years ago |
|
Anna Zaks
|
da3960347a
[analyzer] Do not assert on constructing SymSymExpr with diff types.
|
13 years ago |
|
Anna Zaks
|
e2241cbb04
[analyzer] Construct a SymExpr even when the constraint solver cannot
|
13 years ago |
|
David Blaikie
|
262bc18e32
Remove the ref/value inconsistency in filter_decl_iterator.
|
13 years ago |
|
Ted Kremenek
|
a99f874bf2
Teach SimpleSValBuilder that (in the absence of more information) stack memory doesn't alias symbolic memory. This is a heuristic/hack, but works well in practice. Fixes <rdar://problem/10978247>.
|
13 years ago |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 years ago |
|
Anna Zaks
|
bcb3b981da
[analyzer] Address Jordy's comments for r145985.
|
13 years ago |
|
Anna Zaks
|
6d6a83c375
[analyzer]Fixup r146336.
|
13 years ago |
|
Anna Zaks
|
24d052cdb7
[analyzer] Introduce IntSymExpr, where the integer is on the lhs.
|
13 years ago |
|
Anna Zaks
|
432a4558b8
[analyzer] Fix inconsistency on when SValBuilder assumes that 2
|
13 years ago |
|
Anna Zaks
|
5fc7def35e
[analyzer] If memory region is tainted mark data as tainted.
|
13 years ago |
|
Anna Zaks
|
aace9ef279
[analyzer] Propagate taint through NonLoc to NonLoc casts.
|
13 years ago |
|
Anna Zaks
|
5344baa704
[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
|
13 years ago |
|
Anna Zaks
|
76462f0085
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
|
13 years ago |
|
Anna Zaks
|
0d339d06f8
[analyzer] Do not conjure a symbol when we need to propagate taint.
|
13 years ago |
