Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
c166d7390c300e84a0001c016b83f8aa6de9cf53
/
test
/
Analysis
784606f
Added test case for suppressing leak warnings for reference-counted objects passed by-reference to an unknown function.
by Ted Kremenek
· 16 years ago
2fb78a7
CF-retain/release checker:
by Ted Kremenek
· 16 years ago
90b3236
Fix <rdar://problem/6451816>:
by Ted Kremenek
· 16 years ago
55f7bcb
Fix regression in handling sizeof(void) in the static analyzer.
by Ted Kremenek
· 16 years ago
6eddeb1
MemRegion:
by Ted Kremenek
· 16 years ago
cfec1db
Temporarily XFAIL these tests.
by Ted Kremenek
· 16 years ago
abb042f
A series of cleanups/fixes motivated by <rdar://problem/6442306>:
by Ted Kremenek
· 16 years ago
159d248
[static analyzer] Extend VLA size checking to look for undefined sizes.
by Ted Kremenek
· 16 years ago
8322d6a
Add zero-sized VLA check test case.
by Ted Kremenek
· 16 years ago
26b58cd
Incorporate MissingDealloc_IBOutlet.m test case into MissingDealloc.m
by Ted Kremenek
· 16 years ago
63de736
Incorporate MissingDeallc_SEL.m test case into MissingDealloc.m
by Ted Kremenek
· 16 years ago
e0bb804
Add test case for <rdar://problem/6380411>.
by Ted Kremenek
· 16 years ago
567c8df
Patch to diagnose a variety of misuse of property
by Fariborz Jahanian
· 16 years ago
ae0ee03
instead of forcing blocks on by default, make them default to off, but let
by Chris Lattner
· 16 years ago
a317e90
Add 'expected-warning' to make test case pass.
by Ted Kremenek
· 16 years ago
1e10011
Add another static analyzer test case involving attribute(nonnull).
by Ted Kremenek
· 16 years ago
a96ac06
Add another test case for attribute(nonnull) checking.
by Ted Kremenek
· 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
d7ff487
BasicConstraintManager:
by Ted Kremenek
· 16 years ago
73abd13
BasicConstraintManager:
by Ted Kremenek
· 16 years ago
34a8347
remove a test case that causes compiler warning.
by Zhongxing Xu
· 16 years ago
27cae9e
Add test for initializing array with string literal.
by Zhongxing Xu
· 16 years ago
a8a6ef8
add missing RUN lines
by Nuno Lopes
· 16 years ago
6669db9
Patch to allow over-riding of readonly property to
by Fariborz Jahanian
· 16 years ago
661fc39
Add documentation for test.
by Zhongxing Xu
· 16 years ago
33d7cbf
Add no-warning to test case.
by Zhongxing Xu
· 16 years ago
4b89e03
Strings are NULL terminated. So the region size should plus one.
by Zhongxing Xu
· 16 years ago
20f0178
Add test case for out-of-bound memory access checking.
by Zhongxing Xu
· 16 years ago
0947b4e
Rewrite FindDiagnostics to be more strict about the formatting of the
by Chris Lattner
· 16 years ago
ea06544
Improve test case.
by Zhongxing Xu
· 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
617ff31
Add test cast for struct array.
by Zhongxing Xu
· 16 years ago
87d3ef0
Fix <rdar://problem/6333904> [sema] message lookup on super is incorrect
by Steve Naroff
· 16 years ago
512cdb5
Re-enable array-struct test.
by Zhongxing Xu
· 16 years ago
973e72a
Add a test case for compound assignments that lazily symbolicate the value of the LHS when the computation type is an integer of more bits.
by Ted Kremenek
· 16 years ago
82bd99f
- Revert r59229 and r59232: AllocRegion should be immutable.
by Ted Kremenek
· 16 years ago
26134a1
Add test for unsigned array index.
by Zhongxing Xu
· 16 years ago
fb75b25
Add test for incomplete struct pointer.
by Zhongxing Xu
· 16 years ago
b670133
Add a test case for alloca().
by Zhongxing Xu
· 16 years ago
062e2f9
GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars.
by Ted Kremenek
· 16 years ago
76dba7b
GRExprEngine::VisitInitListExpr:
by Ted Kremenek
· 16 years ago
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
· 16 years ago
dd463b8
Enhance null-dereference checker test.
by Ted Kremenek
· 16 years ago
595c7ab
Added test case.
by Ted Kremenek
· 16 years ago
Next »