Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
006dd8a2bd3723d4b6f3526be8f1a4dc0e9cfac3
/
test
/
Analysis
12b49d9
Add && to test command.
by Zhongxing Xu
· 16 years ago
fe81bc2
Add region store model to path-sensitive testing.
by Zhongxing Xu
· 16 years ago
31483b4
include alloca.h instead of malloc.h. If this doesn't work for everyone we can just declare alloca directly in the file.
by Anders Carlsson
· 16 years ago
7b2d21e
Append the test runs with '&&'.
by Argyrios Kyrtzidis
· 16 years ago
ff6ec39
Bring in 'alloca' for the Analysis/stack-addr-ps.c test case.
by Argyrios Kyrtzidis
· 16 years ago
2eff0f9
Add a test case for CFMakeCollectable.
by Ted Kremenek
· 16 years ago
04b90bc
Add function side-effect test cast.
by Zhongxing Xu
· 16 years ago
c979a9b
Add 'alloca' test case for return-of-stack-address checker.
by Ted Kremenek
· 16 years ago
df2aa1e
Add test code for array initialization.
by Zhongxing Xu
· 16 years ago
beb62c5
Added missing 'expected-warning'
by Ted Kremenek
· 16 years ago
fab6f22
Enhance compound literal test case.
by Ted Kremenek
· 16 years ago
64cc62d
Add missing "expected warning".
by Ted Kremenek
· 16 years ago
ccb55e3
Add method that will be invoked using the dot-syntax just to test that the missing -dealloc checker handles it.
by Ted Kremenek
· 16 years ago
d4a0798
Improve compound literal test case.
by Ted Kremenek
· 16 years ago
997c155
Patch by Nikita Zhuk: test case for fix for false positive reported in PR2978.
by Ted Kremenek
· 16 years ago
c532f63
Add 'expected-warning' for braces around scalar initializer
by Ted Kremenek
· 16 years ago
194aade
Added compound literal test case.
by Ted Kremenek
· 16 years ago
92429dd
Add test for SCA region store.
by Zhongxing Xu
· 16 years ago
234a7d2
Add test for SCA region store.
by Zhongxing Xu
· 16 years ago
5b2316a
Do not crash when performing VisitLValue on union types. This fixes PR 2948.
by Ted Kremenek
· 16 years ago
2e97120
Add StringLiteral test code.
by Zhongxing Xu
· 16 years ago
f4b3548
This test no longer is marked XFAIL.
by Ted Kremenek
· 16 years ago
72e1682
Add random array and struct test code for SCA.
by Zhongxing Xu
· 16 years ago
f74675b
Temporarily mark this test XFAIL.
by Ted Kremenek
· 16 years ago
3ad2cc8
Warn about potentially leaked objects that are returned from methods whose names do not follow the Cocoa Memory Management guidelines.
by Ted Kremenek
· 16 years ago
64e859a
Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>.
by Ted Kremenek
· 16 years ago
c498848
Add test case for FuncDecl and function pointer variable.
by Zhongxing Xu
· 16 years ago
c13b6e2
Further improve path-sensitivity with divide-by-zero checking by assuming that a denominator cannot be zero even when the result of an '/' or '%' expression is unknown.
by Ted Kremenek
· 16 years ago
9253b0f
Added test case inspired by <rdar://6268365>: recover path-sensitivity after compound assignment when the result of the assignment is not known.
by Ted Kremenek
· 16 years ago
6dfe2f5
Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796.
by Ted Kremenek
· 16 years ago
5c456fe
Use "VisitLValue" when processing the base for "x.f" field accesses, and "Visit" when processing the base for "x->f" field accesses.
by Ted Kremenek
· 16 years ago
dacd67a
This test now passes again.
by Ted Kremenek
· 16 years ago
63ffb78
Test now passes.
by Ted Kremenek
· 16 years ago
b6b81d1
"Implement" GRExprEngine::VisitLValue for ObjCPropertyRefExpr. This is only a bandid; we need to properly handle properties by using locv/nonloc objects and specially handling property assignments in the transfer function for BinaryOperator.
by Ted Kremenek
· 16 years ago
ef8b28e
Add test case for array and struct variable lvalue evaluation.
by Zhongxing Xu
· 16 years ago
3397e46
Mark these tests XFAIL. We need to add back assumption logic when doing array and field accesses.
by Ted Kremenek
· 16 years ago
380277e
Enhance dead store checker to not flag preincrements to dead variables where the preincrement is a subexpression, e.g. foo(++x); This can cause false negatives, but will remove a whole class of false positives.
by Ted Kremenek
· 16 years ago
cc9ac41
Enhance NSError** checking with analogous checking for CFErrorRef*.
by Ted Kremenek
· 16 years ago
9f67ede
Added test case.
by Ted Kremenek
· 16 years ago
d2025e2
Add more control-flow to test case.
by Ted Kremenek
· 16 years ago
610a09e
Add CFG support for implicit-control flow for VLA size expressions within an SizeOfAlignOfTypeExpr.
by Ted Kremenek
· 16 years ago
84fa6b9
Examine VLA size expressions when computing liveness information.
by Ted Kremenek
· 16 years ago
cafd908
Updated test case.
by Ted Kremenek
· 16 years ago
d1f5ff7
Added test case.
by Ted Kremenek
· 16 years ago
fb8a7fd
Test case for transfer function logic of const casts.
by Ted Kremenek
· 16 years ago
0a41e5a
Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.
by Ted Kremenek
· 16 years ago
1cd920a
Added test case for PR 2600: proper use of NSError**
by Ted Kremenek
· 16 years ago
91985ae
Added CFNumberCreate test case to illustrate a 32-bit/64-bit arch issue.
by Ted Kremenek
· 16 years ago
f6e5ec4
Add path-sensitivity test case.
by Ted Kremenek
· 16 years ago
e2b0083
Fix copy-paste error in test case.
by Ted Kremenek
· 16 years ago
8c3e7fb
Minor pass-sensitivity improvement:
by Ted Kremenek
· 16 years ago
b497ebd
Added test case for the dead stores checker that was originally an FP reported in PR 2763.
by Ted Kremenek
· 16 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
Next »