Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
0e0caa2b88a19fb208c413ccf03d67147d313357
/
test
/
Analysis
0d8019e
Add new check: -check-objc-methodsigs. This check scans methods in
by Ted Kremenek
· 16 years ago
66e855f
Add test case.
by Ted Kremenek
· 16 years ago
560624a
'&&' commands together so that the test status reflects the results of all the commands, otherwise the test status will be the result of only the last command.
by Argyrios Kyrtzidis
· 16 years ago
489f7b6
'&&' clang commands together so that the test status reflects the results of all three clang executions.
by Ted Kremenek
· 16 years ago
0364865
Fix a bug in the dead stores checker reported in the following email:
by Ted Kremenek
· 16 years ago
aeca963
Skip the "-dealloc" check if a ObjC class contains no ivars.
by Ted Kremenek
· 16 years ago
db09a4d
Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc].
by Ted Kremenek
· 16 years ago
90a929e
Update test case with new clang arguments.
by Ted Kremenek
· 16 years ago
e81da50
Update test case: simply running "clang -checker-simple" doesn't invoke the dead store checker anymore. We need "-warn-dead-stores" as well.
by Ted Kremenek
· 16 years ago
141d8a0
Fix typo in test case.
by Ted Kremenek
· 16 years ago
f4381fd
Added AnalysisConsumer, a meta-level ASTConsumer class to drive various
by Ted Kremenek
· 16 years ago
91d1a14
Added reference count checker test case.
by Ted Kremenek
· 16 years ago
04bc876
Added a simple static analysis check to look for improper uses of CFCreateNumber.
by Ted Kremenek
· 16 years ago
553cf18
CF ref checker:
by Ted Kremenek
· 16 years ago
a734470
The CF retain/release checker now assumes that allocations do not fail. Eventually we will add a flag to the driver to enable allocation failures (documented as a FIXME).
by Ted Kremenek
· 16 years ago
39a1884
Include stdint.h instead of stdio.h.
by Ted Kremenek
· 16 years ago
5bce1b0
Test the dead-store checker using both -warn-dead-stores and -checker-simple.
by Ted Kremenek
· 16 years ago
1a654b6
Modified the dead stores checker to...
by Ted Kremenek
· 16 years ago
b8e26e6
Introduce initial transfer function support for __imag__ and __real__. We don't
by Ted Kremenek
· 16 years ago
d54ae2a
Move test case "uninit-msg-expr.m" from Analysis-Apple to Analysis (now works on all platforms).
by Ted Kremenek
· 16 years ago
32dc95e
Moved test case NoReturn.m from Analysis-Apple to Analysis (now works on all platforms).
by Ted Kremenek
· 16 years ago
859be3b
Move NSString.m test case from Analysis-Apple to Analysis. The test case now works on all platforms.
by Ted Kremenek
· 16 years ago
4b5484a
Update test case to use -pedantic (makes the test case more clear).
by Ted Kremenek
· 16 years ago
dfc996c
Fix misspelling of "svelte".
by Ted Kremenek
· 16 years ago
7662af4
Move Analysis-Apple/CFString.c to Analysis (the test case now works on all platforms).
by Ted Kremenek
· 16 years ago
88739bf
Move CFDateGC.m test case from Analysis-Apple to Analysis (it now runs on all platforms).
by Ted Kremenek
· 16 years ago
2f134c6
Moved CFDate.m from test/Analysis-Apple to test/Analysis, and added the necessary declarations from Foundation.h to CFDate.m so that the test case can be exercised on all platforms.
by Ted Kremenek
· 16 years ago
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
· 17 years ago
49a2fd2
Added test case to dead stores checker.
by Ted Kremenek
· 17 years ago
d71ed26
Refactored all logic to run the GRSimpleVals and CFRef checker into a common
by Ted Kremenek
· 17 years ago
2f54af4
Added path-sensitive null dereference test case.
by Ted Kremenek
· 17 years ago
02737ed
Added path-sensitive check for return statements that return the address
by Ted Kremenek
· 17 years ago
5fb5c6a
Changed merge operation for uninitialized values analysis to "intersect" (previous union).
by Ted Kremenek
· 17 years ago
0fdf06e
Convert tabs to spaces.
by Ted Kremenek
· 17 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