Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
2bebbf0acee55404de4b8846713b64429e744e8f
/
test
/
Analysis
9251143
Fix: <rdar://problem/6850275> CF objects returned from methods with "new" or "copy" in their name should be treated as owned
by Ted Kremenek
· 16 years ago
3e001f3
region store: make Retrieve() can retrieve embedded array correctly. Also
by Zhongxing Xu
· 16 years ago
b3b0b36
Add CFG support for @synchronized. This fixes <rdar://problem/6848820>.
by Ted Kremenek
· 16 years ago
935022a
Add another null pointer check test case.
by Ted Kremenek
· 16 years ago
956a37d
Add another test case found due to an analyzer regression.
by Ted Kremenek
· 16 years ago
b33f3ad
Check for method type conflict between declaration in
by Fariborz Jahanian
· 16 years ago
a8607d1
StoreManager::CastRegion:
by Ted Kremenek
· 16 years ago
9810472
Add function prototype for OSAtomicCompareAndSwap32Barrier.
by Ted Kremenek
· 16 years ago
14b74cc
Fix run line in failing test case (it was missing the '%s' for the
by Ted Kremenek
· 16 years ago
1bc440b
Add failing static analyzer case (this crashes).
by Ted Kremenek
· 16 years ago
2cd1293
retain/release checker: Hook up attributes 'objc_ownership_retain' and
by Ted Kremenek
· 16 years ago
72c9dcd
Allow attributes 'objc_ownership_retain' and 'objc_ownership_release' to be
by Ted Kremenek
· 16 years ago
b27d117
Hook up Sema support for attributes on Objective-C method declarations that
by Ted Kremenek
· 16 years ago
77755a5
Add parsing support in an Objective-C method declaration for attributes between
by Ted Kremenek
· 16 years ago
2c0ccd0
Warn about invalid return statements by default.
by Steve Naroff
· 16 years ago
a883355
retain/release checker: When determining whether an analyzed method can return
by Ted Kremenek
· 16 years ago
c887d13
retain/release checker: Hoist code for bug reports above transfer function logic
by Ted Kremenek
· 16 years ago
a3f4540
Add test case for transfer function logic for OSCompareAndSwap32Barrier.
by Ted Kremenek
· 16 years ago
5c86b19
SymbolicRegions may also be live roots.
by Zhongxing Xu
· 16 years ago
b1080ed
Added comments to test case.
by Zhongxing Xu
· 16 years ago
6223107
Update test case.
by Zhongxing Xu
· 16 years ago
2fc3259
XFAIL the test case.
by Zhongxing Xu
· 16 years ago
fde52c9
Add regression test case provided by <rdar://problem/6833332>.
by Ted Kremenek
· 16 years ago
bf20dbd
Implement ownership attribute 'objc_ownership_make_collectable'. This allows one
by Ted Kremenek
· 16 years ago
c613f4e
Improve retain/release test cases for ownership attributes.
by Ted Kremenek
· 16 years ago
c58e785
Add test case.
by Zhongxing Xu
· 16 years ago
c6a59e4
Add two new checker-specific attributes: 'objc_ownership_release' and
by Ted Kremenek
· 16 years ago
e798e7c
Track objects in GC mode returned by 'alloc', 'new', etc. methods. These are
by Ted Kremenek
· 16 years ago
4064de9
Add new checker-specific attribute 'objc_ownership_cfretain'. This is the same
by Ted Kremenek
· 16 years ago
4da0427
Hook up attribute 'objc_ownership_retain' to the analyzer. This attribute allows
by Ted Kremenek
· 16 years ago
de9a81b
Add new checker-specific attribute 'objc_ownership_retain'. This isn't hooked up
by Ted Kremenek
· 16 years ago
8650f08
Hook up __attribute__((objc_ownership_returns)) to the retain/release checker.
by Ted Kremenek
· 16 years ago
0fc169e
Add new checker-specific attribute 'objc_ownership_returns'. This isn't hooked
by Ted Kremenek
· 16 years ago
8ee885b
Fix the same false positive reported in PR 2542 and <rdar://problem/6793409>
by Ted Kremenek
· 16 years ago
de4d533
retain/release checker:
by Ted Kremenek
· 16 years ago
97d095f
Further cleanups to isTrackedObjectType().
by Ted Kremenek
· 16 years ago
f9df136
retain/release checker: Don't call isTrackedObject() with the canonical type.
by Ted Kremenek
· 16 years ago
829bf50
Temporarily remove expected warnings.
by Ted Kremenek
· 16 years ago
e87450e
Per discussions with Ken Ferry and Paul Marks (<rdar://problem/6815234>) greatly
by Ted Kremenek
· 16 years ago
b3cfd58
Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic
by Ted Kremenek
· 16 years ago
868210e
Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr.
by Ted Kremenek
· 16 years ago
af48fdd
Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness
by Ted Kremenek
· 16 years ago
09f1419
Added over-release test case.
by Ted Kremenek
· 16 years ago
58fe03b
Fix rdar://6771034: don't warn on use of forward declared protocol in protocol
by Chris Lattner
· 16 years ago
b3bf76f
Add analyzer support for objc_atomicCompareAndSwap()
by Ted Kremenek
· 16 years ago
1670e40
Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"
by Ted Kremenek
· 16 years ago
3a0fd13
Split failing test case from misc-ps.m to misc-ps-ranges.m (which tests
by Ted Kremenek
· 16 years ago
52e5602
Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1)
by Ted Kremenek
· 16 years ago
b725232
Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allows
by Ted Kremenek
· 16 years ago
fe630b9
GRExprEngine: Don't try to reason about the size of 'void' for the return type
by Ted Kremenek
· 16 years ago
748dd20
Force triple for these tests.
by Daniel Dunbar
· 16 years ago
da9ae60
Enhance analyzer reasoning about sending messages to nil. A nil receiver returns 0 for scalars of size <= sizeof(void*).
by Ted Kremenek
· 16 years ago
899b3de
New static analyzer check by Nikita Zhuk!
by Ted Kremenek
· 16 years ago
e82e13a
Add test case.
by Ted Kremenek
· 16 years ago
99d0269
retain/release checker: don't track NSPanel until we have better reasoning about
by Ted Kremenek
· 16 years ago
ef77d54
Add a few more analyzer test cases.
by Ted Kremenek
· 16 years ago
b8adaf9
Update expected warning in test case.
by Ted Kremenek
· 16 years ago
b930d7a
Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct
by Ted Kremenek
· 16 years ago
28433ff
Update test case.
by Ted Kremenek
· 16 years ago
f3929da
Add another uninitialized values test case illustrating that the CFG correctly
by Ted Kremenek
· 16 years ago
2a8d6b0
Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixes
by Ted Kremenek
· 16 years ago
d7d5f02
Rename clang to clang-cc.
by Daniel Dunbar
· 16 years ago
632d1ec
A test case to test that -warn-dead-stores does not emit a warning for stores to variables marked with '#pragma unused'.
by Ted Kremenek
· 16 years ago
68ac94a
analyzer: Provide temporary workaround for false positive reported by
by Ted Kremenek
· 16 years ago
693de5d
analyzer: Fix embarrassing regression in BasicStore when invalidating struct
by Ted Kremenek
· 16 years ago
c505d4f
Add test cases for PR 3820.
by Ted Kremenek
· 16 years ago
7237459
Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'.
by Ted Kremenek
· 16 years ago
ec099f1
Fix crash reported in <rdar://problem/6695527>. We now have
by Ted Kremenek
· 16 years ago
c57bc59
add test case.
by Zhongxing Xu
· 16 years ago
8be2a67
Fix PR 3677 [retain checker]: custom 'allocWithZone' methods should be allowed
by Ted Kremenek
· 16 years ago
6ae8a36
Add a hack in the analyzer to recover some path-sensitivity at branch
by Ted Kremenek
· 16 years ago
610e81d
Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the target
by Ted Kremenek
· 16 years ago
e6fbdf5
Fix crash when using TypedViewRegions and ObjCQualifiedIdTypes (TypedViewRegion::getLValueType() was not implemented).
by Ted Kremenek
· 16 years ago
50f4f46
Add Diagnostic files for Frontend and move a couple errors over.
by Daniel Dunbar
· 16 years ago
e8cba00
Add comments to test case.
by Zhongxing Xu
· 16 years ago
344d4c8
Fix StmtIterator bug reported in PR 3780 where a VLA within a DeclGroup would
by Ted Kremenek
· 16 years ago
3c4b379
This test case checks if we get the right rvalue type of a TypedViewRegion.
by Zhongxing Xu
· 16 years ago
2b1dc17
Fix crash when LHS of pointer arithmetic is not ElementRegion.
by Zhongxing Xu
· 16 years ago
fa6228d
Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not
by Ted Kremenek
· 16 years ago
7de20fe
SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic
by Ted Kremenek
· 16 years ago
25d01ba
retain/release checker: Allow allocations to fail by returning nil.
by Ted Kremenek
· 16 years ago
cd57fce
Add test case for <rdar://problem/6659160>.
by Ted Kremenek
· 16 years ago
5c42f9b
Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers.
by Ted Kremenek
· 16 years ago
c530291
Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions.
by Ted Kremenek
· 16 years ago
9f45d28
Update test case: objects stored to self.ivar are not tracked.
by Ted Kremenek
· 16 years ago
f684d56
Retrofit some basic tracking of ivars (for the current object) into BasicStore.
by Ted Kremenek
· 16 years ago
f27893a
Test case: When using RegionStore with the retain/release checker, stop tracking objects assigned to self's ivar.
by Ted Kremenek
· 16 years ago
aad45e0
Add test case for RegionStore's tracking of the ivars of 'self'.
by Ted Kremenek
· 16 years ago
efcfcc0
GRExprEngine: Polish up handling of casting integer constants to pointers and back.
by Ted Kremenek
· 16 years ago
3aa7ecd
For now, do not track NSWindow objects and it's subclasses.
by Ted Kremenek
· 16 years ago
d104a09
Add prototype support for invalidating fields for structures passed-by-reference
by Ted Kremenek
· 16 years ago
1f7de66
This test now passes using RegionStore.
by Ted Kremenek
· 16 years ago
e184b1e
Add test case for pointer arithmetic.
by Zhongxing Xu
· 16 years ago
ed8a93d
Fix PR3509 by providing correct starting locations for initializer lists
by Douglas Gregor
· 16 years ago
48af2a9
Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle
by Ted Kremenek
· 16 years ago
265a305
Fix <rdar://problem/6611677>: Add basic transfer function support in the static
by Ted Kremenek
· 16 years ago
89e202d
retain/release checker: For now don't track the retain count of NSWindow objects (opt for false negatives).
by Ted Kremenek
· 16 years ago
f0dff4c
More retain/release naming convention tests.
by Ted Kremenek
· 16 years ago
d3d4f57
Add test case for PR 2599.
by Ted Kremenek
· 16 years ago
b80976c
Improved naming convention heuristics in the retain/release checker to better
by Ted Kremenek
· 16 years ago
Next »