Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
64cfdb7da3cb744642fe8a99ad5c851ad3c930b2
/
test
/
Analysis
a7ecc37
Add autorelease test case.
by Ted Kremenek
· 16 years ago
23b8eaa
retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected.
by Ted Kremenek
· 16 years ago
d76d47e
Fix bug in BasicStore::getLValueElement where if the base of an array subscript expression was an ElementRegion we stacked another ElementRegion on top of that.
by Ted Kremenek
· 16 years ago
8318304
Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer.
by Ted Kremenek
· 16 years ago
3148eb4
More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup.
by Ted Kremenek
· 16 years ago
562c4d9
Implement retrieval of the default value of element and field regions.
by Zhongxing Xu
· 16 years ago
b61f49c
Add a test case for init expr of array and struct type.
by Zhongxing Xu
· 16 years ago
2e84257
For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedRegions. It wasn't really doing the right thing and was crashing on rdar-6442306-1.m. This fix causes all path-sensitive test cases to pass with RegionStore.
by Ted Kremenek
· 16 years ago
6fd8f91
Add RegionStore support for the implicit object region that 'self' references. This causes tests 'ObjCProperties.m' and 'refcnt_naming.m' to now pass with RegionStore.
by Ted Kremenek
· 16 years ago
872e25c
This test case now passes with RegionStore.
by Ted Kremenek
· 16 years ago
31c2c20
This test case now passes with RegionStore.
by Ted Kremenek
· 16 years ago
16aaf4c
This test case now passes with RegionStore.
by Ted Kremenek
· 16 years ago
b78284a
This test case now passes with RegionStore.
by Ted Kremenek
· 16 years ago
19e8744
Enhance test case to test RegionStore with -checker-cfref.
by Ted Kremenek
· 16 years ago
2758482
This test case now passes with RegionStore.
by Ted Kremenek
· 16 years ago
f1456aa
This test case now passes with RegionStore.
by Ted Kremenek
· 16 years ago
04b1de1
This test case now passes with RegionStore.
by Ted Kremenek
· 16 years ago
62bca24
This test case now passes with RegionStore.
by Ted Kremenek
· 16 years ago
9945781
This test case now passes with RegionStore.
by Ted Kremenek
· 16 years ago
f9e9684
Test more array logic in outofbound.c
by Ted Kremenek
· 16 years ago
a7ac944
Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic).
by Ted Kremenek
· 16 years ago
f536ca3
These test cases now pass with RegionStore.
by Ted Kremenek
· 16 years ago
2dabd42
The 'misc-ps.m' test case now passes with RegionStore. One case needed to be split out into 'misc-ps-basic-store.m' and 'misc-ps-region-store.m' because the behavior was different between the two store models (RegionStore flags an additional valid bug).
by Ted Kremenek
· 16 years ago
bb6c8fd
This test now passes using -analyzer-store-region.
by Ted Kremenek
· 16 years ago
b87f66c
This test now passes using -analyzer-store-region.
by Ted Kremenek
· 16 years ago
0964a06
Get RegionStore to work with the retain/release checker and its test cases.
by Ted Kremenek
· 16 years ago
d427023
Add -analyze action to run static analyzer, instead of inferring from
by Daniel Dunbar
· 16 years ago
d24d255
Make test independent of stdint.h
by Daniel Dunbar
· 16 years ago
7f5fce7
Dead stores checker: Fix <rdar://problem/6506065> by being more selective when say that a store is dead even though the computed value is used in the enclosing expression.
by Ted Kremenek
· 16 years ago
72afb37
Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label.
by Ted Kremenek
· 16 years ago
9989065
Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs.
by Ted Kremenek
· 16 years ago
5834ed6
Add KillStruct to region store.
by Zhongxing Xu
· 16 years ago
e3a46b0
This test now passes.
by Ted Kremenek
· 16 years ago
e1c2a67
static analyzer: Handle casts from arrays to integers. This fixes PR 3297.
by Ted Kremenek
· 16 years ago
1261938
retain/release checker:
by Ted Kremenek
· 16 years ago
3b58786
Dead stores checker: Don't flag dead stores for self-assignments (common escape hatch for 'unused variable' warnings).
by Ted Kremenek
· 16 years ago
234a4c2
This commit reflects changes to the retain/release checker motivated by my
by Ted Kremenek
· 16 years ago
ff944a8
Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables
by Zhongxing Xu
· 16 years ago
4193eca
Lazy bingding for region-store manager.
by Zhongxing Xu
· 16 years ago
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
Next »