Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
d58c03f42ebb4e548c2b53fa25b1cfe02ebb9ac0
/
test
/
Analysis
/
uninit-vals-ps-region.c
b107c4b
Catch uses of undefined values when they are used in assignment, thus catching such bugs closer to the source.
by Ted Kremenek
· 15 years ago
112ba7e
Shorten the static analyzer diagnostic for 'use of garbage value'.
by Ted Kremenek
· 15 years ago
7c039bf
Have divide-by-zero checker not handled undefined denominators. This is handled by the generic checking for undefined operands for BinaryOperators.
by Ted Kremenek
· 15 years ago
5b9bd21
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
by Ted Kremenek
· 15 years ago
c761f40
Add uninitialized values test case.
by Ted Kremenek
· 15 years ago
6c07bdb
Introduce a new concept to the static analyzer: SValuator.
by Ted Kremenek
· 15 years ago
d7d5f02
Rename clang to clang-cc.
by Daniel Dunbar
· 15 years ago
be1fe1e
Static Analyzer driver/options (partial) cleanup:
by Ted Kremenek
· 15 years ago
282f753
enable test as it works
by Nuno Lopes
· 15 years ago
d427023
Add -analyze action to run static analyzer, instead of inferring from
by Daniel Dunbar
· 15 years ago
4193eca
Lazy bingding for region-store manager.
by Zhongxing Xu
· 16 years ago
4226846
Revise bogus comment I just committed.
by Ted Kremenek
· 16 years ago
f117fac
Add comment to test case for documentation.
by Ted Kremenek
· 16 years ago
e8e4d8c
Split region store specific test cases.
by Zhongxing Xu
· 16 years ago