| .. |
|
CFDateGC.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
CFNumber.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
CFRetainRelease_NSAssertionHandler.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
CGColorSpace.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
CheckNSError.m
|
Update test case.
|
2009-08-06 06:26:40 +00:00 |
|
MissingDealloc.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
NSPanel.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
NSString.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
NSWindow.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
NoReturn.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
ObjCProperties.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
ObjCRetSigs.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
PR2599.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
PR2978.m
|
Prep for new warning.
|
2009-07-21 18:52:41 +00:00 |
|
PR3991.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
array-struct.c
|
Add casts to avoid a bunch of unused expr warnings. (They aren't reported right now due to a bug that I intend to fix). Ted, please review.
|
2009-07-30 22:37:41 +00:00 |
|
casts.c
|
Make this test case more portable by removing its dependency on system header files.
|
2009-08-20 04:48:23 +00:00 |
|
casts.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
cfref_PR2519.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
cfref_rdar6080742.c
|
Remove tabs, and whitespace cleanups.
|
2009-09-09 15:08:12 +00:00 |
|
complex.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
concrete-address.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
conditional-op-missing-lhs.c
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
dead-stores.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
dead-stores.cpp
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
dead-stores.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
delegates.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
elementtype.c
|
Introduce a new concept to the static analyzer: SValuator.
|
2009-06-26 00:05:51 +00:00 |
|
exercise-ps.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
fields.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
func.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
misc-ps-64.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
misc-ps-basic-store.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
misc-ps-eager-assume.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
misc-ps-ranges.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
misc-ps-region-store-i386.m
|
More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer.
|
2009-07-15 02:31:43 +00:00 |
|
misc-ps-region-store-x86_64.m
|
More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer.
|
2009-07-15 02:31:43 +00:00 |
|
misc-ps-region-store.m
|
Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers.
|
2009-09-25 00:18:15 +00:00 |
|
misc-ps.m
|
Added test case for <rdar://problem/7152418>.
|
2009-09-26 17:18:44 +00:00 |
|
nil-receiver-undefined-larger-than-voidptr-ret.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
no-exit-cfg.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
no-outofbounds.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
null-deref-ps-region.c
|
SymbolicRegions may also be live roots.
|
2009-04-29 09:24:35 +00:00 |
|
null-deref-ps.c
|
Add test case for PR 4759.
|
2009-08-24 22:56:32 +00:00 |
|
outofbound.c
|
Temporarily disable out-of-bounds checking. The current checking logic will not work quite right with the changes I'm about to commit.
|
2009-08-01 05:59:39 +00:00 |
|
override-werror.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
pr4209.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
pr_2542_rdar_6793404.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
pr_4164.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
ptr-arith.c
|
Introduce a new concept to the static analyzer: SValuator.
|
2009-06-26 00:05:51 +00:00 |
|
rdar-6442306-1.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
rdar-6540084.m
|
Prep for new warning.
|
2009-07-21 18:56:04 +00:00 |
|
rdar-6541136-region.c
|
Temporarily disable out-of-bounds checking. The current checking logic will not work quite right with the changes I'm about to commit.
|
2009-08-01 05:59:39 +00:00 |
|
rdar-6541136.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
rdar-6562655.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
rdar-6582778-basic-store.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
rdar-6600344-nil-receiver-undefined-struct-ret.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
rdar-7168531.m
|
Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers
|
2009-08-25 22:55:09 +00:00 |
|
refcnt_naming.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
region-1.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
region-only-test.c
|
Add casts to avoid a bunch of unused expr warnings. (They aren't reported right now due to a bug that I intend to fix). Ted, please review.
|
2009-07-30 22:37:41 +00:00 |
|
retain-release-basic-store.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
retain-release-gc-only.m
|
retain/release checker: [CIContext createCGImage...] and friends returned CF
|
2009-08-28 19:52:12 +00:00 |
|
retain-release-region-store.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
retain-release.m
|
Add static analyzer transfer function support for __builtin_offsetof.
|
2009-09-15 00:40:32 +00:00 |
|
security-syntax-checks.m
|
Implement: <rdar://problem/6337100> CWE-338: Use of cryptographically weak prng
|
2009-09-02 02:47:41 +00:00 |
|
stack-addr-ps.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
uninit-msg-expr.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
uninit-ps-rdar6145427.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
uninit-vals-ps-region.c
|
Shorten the static analyzer diagnostic for 'use of garbage value'.
|
2009-09-24 00:44:26 +00:00 |
|
uninit-vals-ps.c
|
Shorten the static analyzer diagnostic for 'use of garbage value'.
|
2009-09-24 00:44:26 +00:00 |
|
uninit-vals.c
|
Prep for new warning.
|
2009-07-21 18:56:34 +00:00 |
|
uninit-vals.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
unions-region.m
|
Fix a few more false positives involving RegionStore and unions, but this time
|
2009-08-06 22:33:36 +00:00 |
|
unused-ivars.m
|
Fix: <rdar://problem/7075531> static analyzer wrongly detects unused ivars used in blocks
|
2009-08-07 21:13:23 +00:00 |
2f5198b022