| .. |
|
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
|
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.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 a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map.
|
2009-08-05 05:31:02 +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
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +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-6539791.c
|
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 |
|
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
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
retain-release-region-store.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
retain-release.m
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
security-syntax-checks.m
|
Implement: <rdar://problem/6335715> rule request: gets() buffer overflow
|
2009-07-23 22:29: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
|
Introduce a new concept to the static analyzer: SValuator.
|
2009-06-26 00:05:51 +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 |
0e8e1fde25