Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
9c2f06b373e6209447baf1fd5a86dd6602c573a8
/
test
/
Analysis
/
uninit-vals-ps.c
be1fe1e
Static Analyzer driver/options (partial) cleanup:
by Ted Kremenek
· 16 years ago
d427023
Add -analyze action to run static analyzer, instead of inferring from
by Daniel Dunbar
· 16 years ago
90b3236
Fix <rdar://problem/6451816>:
by Ted Kremenek
· 16 years ago
7c68666
Add checker test case: warn about returning an uninitialized value to the caller.
by Ted Kremenek
· 16 years ago
9f49055
Enable test file for 'region store' in addition to basic store.
by Ted Kremenek
· 16 years ago
e8e4d8c
Split region store specific test cases.
by Zhongxing Xu
· 16 years ago
89e8a07
Add test for path-sensitive uninit-val detection involving struct field.
by Zhongxing Xu
· 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
· 17 years ago
5c454ab
When reporting branch conditions that evaluate to an uninitialized value,
by Ted Kremenek
· 17 years ago
43ae4b0
Added uninitialized-values (path-sensitive) test case as a regression test
by Ted Kremenek
· 17 years ago