Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
fe6fa074db94fa52a907e8fb2c8414e4c165f11f
/
test
/
Analysis
d2025e2
Add more control-flow to test case.
by Ted Kremenek
· 17 years ago
610a09e
Add CFG support for implicit-control flow for VLA size expressions within an SizeOfAlignOfTypeExpr.
by Ted Kremenek
· 17 years ago
84fa6b9
Examine VLA size expressions when computing liveness information.
by Ted Kremenek
· 17 years ago
cafd908
Updated test case.
by Ted Kremenek
· 17 years ago
d1f5ff7
Added test case.
by Ted Kremenek
· 17 years ago
fb8a7fd
Test case for transfer function logic of const casts.
by Ted Kremenek
· 17 years ago
0a41e5a
Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.
by Ted Kremenek
· 17 years ago
1cd920a
Added test case for PR 2600: proper use of NSError**
by Ted Kremenek
· 17 years ago
91985ae
Added CFNumberCreate test case to illustrate a 32-bit/64-bit arch issue.
by Ted Kremenek
· 17 years ago
f6e5ec4
Add path-sensitivity test case.
by Ted Kremenek
· 17 years ago
e2b0083
Fix copy-paste error in test case.
by Ted Kremenek
· 17 years ago
8c3e7fb
Minor pass-sensitivity improvement:
by Ted Kremenek
· 17 years ago
b497ebd
Added test case for the dead stores checker that was originally an FP reported in PR 2763.
by Ted Kremenek
· 17 years ago
7fb43c1
Tidy up sema processing of attribute "nonull":
by Ted Kremenek
· 17 years ago
dd463b8
Enhance null-dereference checker test.
by Ted Kremenek
· 17 years ago
595c7ab
Added test case.
by Ted Kremenek
· 17 years ago
efe88f5
Enhanced test case.
by Ted Kremenek
· 17 years ago
4489fe1
Add EXTWARN Diagnostic class.
by Daniel Dunbar
· 17 years ago
22bda88
Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned.
by Ted Kremenek
· 17 years ago
f19f911
Remove '.' in expected warning
by Ted Kremenek
· 17 years ago
fc7ff55
Don't emit 'dead initialization' warnings for variables marked 'unused'.
by Ted Kremenek
· 17 years ago
17a61db
Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description:
by Ted Kremenek
· 17 years ago
f071e18
Don't issue a missing +dealloc warning for classes that just contain SEL ivars.
by Ted Kremenek
· 17 years ago
08e4b66
Rename test case file.
by Ted Kremenek
· 17 years ago
b0f3632
Issue dead store warnings for preincrements involved in a subexpression.
by Ted Kremenek
· 17 years ago
8b00b6e
Added dead stores test case.
by Ted Kremenek
· 17 years ago
2cfac22
Further refine dead store checking to distinguish between dead stores and dead increments.
by Ted Kremenek
· 17 years ago
cc87ba2
Properly skip IBOutlets when checking for unused ivars.
by Ted Kremenek
· 17 years ago
584def7
Added path-sensitive checking for null pointer values passed to function arguments marked nonnull.
by Ted Kremenek
· 17 years ago
c083b0d
Added test case.
by Ted Kremenek
· 17 years ago
f4ebf42
For the MissingDealloc check, don't treat IBOutlet ivars as being needed to be released
by Ted Kremenek
· 17 years ago
f9c2a5d
Distinguish between dead stores and dead initializations.
by Ted Kremenek
· 17 years ago
f7f3c20
Provide an "Analysis Scope" for Analyses so checks can either be run on code declarations (bodies) or Objective-C @implementation blocks.
by Ted Kremenek
· 17 years ago
0d8019e
Add new check: -check-objc-methodsigs. This check scans methods in
by Ted Kremenek
· 17 years ago
66e855f
Add test case.
by Ted Kremenek
· 17 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
· 17 years ago
489f7b6
'&&' clang commands together so that the test status reflects the results of all three clang executions.
by Ted Kremenek
· 17 years ago
0364865
Fix a bug in the dead stores checker reported in the following email:
by Ted Kremenek
· 17 years ago
aeca963
Skip the "-dealloc" check if a ObjC class contains no ivars.
by Ted Kremenek
· 17 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
· 17 years ago
90a929e
Update test case with new clang arguments.
by Ted Kremenek
· 17 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
· 17 years ago
141d8a0
Fix typo in test case.
by Ted Kremenek
· 17 years ago
f4381fd
Added AnalysisConsumer, a meta-level ASTConsumer class to drive various
by Ted Kremenek
· 17 years ago
91d1a14
Added reference count checker test case.
by Ted Kremenek
· 17 years ago
04bc876
Added a simple static analysis check to look for improper uses of CFCreateNumber.
by Ted Kremenek
· 17 years ago
553cf18
CF ref checker:
by Ted Kremenek
· 17 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
· 17 years ago
39a1884
Include stdint.h instead of stdio.h.
by Ted Kremenek
· 17 years ago
5bce1b0
Test the dead-store checker using both -warn-dead-stores and -checker-simple.
by Ted Kremenek
· 17 years ago
1a654b6
Modified the dead stores checker to...
by Ted Kremenek
· 17 years ago
b8e26e6
Introduce initial transfer function support for __imag__ and __real__. We don't
by Ted Kremenek
· 17 years ago
d54ae2a
Move test case "uninit-msg-expr.m" from Analysis-Apple to Analysis (now works on all platforms).
by Ted Kremenek
· 17 years ago
32dc95e
Moved test case NoReturn.m from Analysis-Apple to Analysis (now works on all platforms).
by Ted Kremenek
· 17 years ago
859be3b
Move NSString.m test case from Analysis-Apple to Analysis. The test case now works on all platforms.
by Ted Kremenek
· 17 years ago
4b5484a
Update test case to use -pedantic (makes the test case more clear).
by Ted Kremenek
· 17 years ago
dfc996c
Fix misspelling of "svelte".
by Ted Kremenek
· 17 years ago
7662af4
Move Analysis-Apple/CFString.c to Analysis (the test case now works on all platforms).
by Ted Kremenek
· 17 years ago
88739bf
Move CFDateGC.m test case from Analysis-Apple to Analysis (it now runs on all platforms).
by Ted Kremenek
· 17 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
· 17 years ago
3eb817e
Improve dead stores diagnostics to include the variable name.
by Ted Kremenek
· 17 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
a23157e
Emit dead store warnings for ++ and -- operators.
by Ted Kremenek
· 17 years ago
5c454ab
When reporting branch conditions that evaluate to an uninitialized value,
by Ted Kremenek
· 17 years ago
e866a7c
Added test case for the static analyzer.
by Ted Kremenek
· 17 years ago
e2013f5
Added test case to test null dereference checking with lval::ArrayOffset.
by Ted Kremenek
· 17 years ago
43ae4b0
Added uninitialized-values (path-sensitive) test case as a regression test
by Ted Kremenek
· 17 years ago
a548846
Added lval type (and tracking) for StringLiterals.
by Ted Kremenek
· 17 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
· 17 years ago
9704eac
Added null dereference test involving arrays.
by Ted Kremenek
· 17 years ago
3603d73
Added missing expected-warning.
by Ted Kremenek
· 17 years ago
b9ab690
Added null dereference test case looking for null dereferences involving MemberExpr.
by Ted Kremenek
· 17 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
· 18 years ago
f5f20bd
The checking for the delimiters of expected error/warning messages was
by Bill Wendling
· 18 years ago
ca7aa1f
Added more test cases for uninitialized values checker.
by Ted Kremenek
· 18 years ago
ff7c538
Fixed bogus culling of uninitialized-values "taint" propagation during assignments.
by Ted Kremenek
· 18 years ago
bfc5e50
Moved dead-stores test cast to a new test suite subdirectory: Analysis.
by Ted Kremenek
· 18 years ago