| .. |
|
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 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +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 a couple false positive "uninitialized value" warnings with RegionStore
|
2009-08-06 21:43:54 +00:00 |
|
misc-ps.m
|
Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays. RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager. This fixes PR 4781.
|
2009-08-25 23:29:04 +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 test case from <rdar://problem/7184450>.
|
2009-09-01 18:33:16 +00:00 |
|
security-syntax-checks.m
|
Implement: <rdar://problem/6337132> CWE-273: Failure to Check Whether Privileges
|
2009-08-28 00:08:09 +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
|
Add uninitialized values test case.
|
2009-08-28 20:25:33 +00:00 |
|
uninit-vals-ps.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +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 |
cc58eae181