Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
9b5239339d3b42c20a2cbb0843445ed98e1fea2b
/
test
/
Analysis
3eb817e
Improve dead stores diagnostics to include the variable name.
by Ted Kremenek
· 16 years ago
5c96c27
Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression.
by Ted Kremenek
· 16 years ago
a23157e
Emit dead store warnings for ++ and -- operators.
by Ted Kremenek
· 16 years ago
5c454ab
When reporting branch conditions that evaluate to an uninitialized value,
by Ted Kremenek
· 16 years ago
e866a7c
Added test case for the static analyzer.
by Ted Kremenek
· 16 years ago
e2013f5
Added test case to test null dereference checking with lval::ArrayOffset.
by Ted Kremenek
· 16 years ago
43ae4b0
Added uninitialized-values (path-sensitive) test case as a regression test
by Ted Kremenek
· 16 years ago
a548846
Added lval type (and tracking) for StringLiterals.
by Ted Kremenek
· 16 years ago
0fe33bc
Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers.
by Ted Kremenek
· 16 years ago
9704eac
Added null dereference test involving arrays.
by Ted Kremenek
· 16 years ago
3603d73
Added missing expected-warning.
by Ted Kremenek
· 16 years ago
b9ab690
Added null dereference test case looking for null dereferences involving MemberExpr.
by Ted Kremenek
· 16 years ago
f87821c
Added test case illustrating the use of '&'.
by Ted Kremenek
· 16 years ago
49a2fd2
Added test case to dead stores checker.
by Ted Kremenek
· 16 years ago
d71ed26
Refactored all logic to run the GRSimpleVals and CFRef checker into a common
by Ted Kremenek
· 16 years ago
2f54af4
Added path-sensitive null dereference test case.
by Ted Kremenek
· 16 years ago
02737ed
Added path-sensitive check for return statements that return the address
by Ted Kremenek
· 16 years ago
5fb5c6a
Changed merge operation for uninitialized values analysis to "intersect" (previous union).
by Ted Kremenek
· 16 years ago
0fdf06e
Convert tabs to spaces.
by Ted Kremenek
· 16 years ago
3907323
GCC has an extension where the left hand side of the ? : operator can be omitted. Handle this in a few more places.
by Anders Carlsson
· 17 years ago
f5f20bd
The checking for the delimiters of expected error/warning messages was
by Bill Wendling
· 17 years ago
ca7aa1f
Added more test cases for uninitialized values checker.
by Ted Kremenek
· 17 years ago
ff7c538
Fixed bogus culling of uninitialized-values "taint" propagation during assignments.
by Ted Kremenek
· 17 years ago
bfc5e50
Moved dead-stores test cast to a new test suite subdirectory: Analysis.
by Ted Kremenek
· 17 years ago