| .. |
|
CFDateGC.m
|
Prep for new warning.
|
2009-07-21 19:01:48 +00:00 |
|
CFNumber.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
CFRetainRelease_NSAssertionHandler.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
CGColorSpace.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
CheckNSError.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
MissingDealloc.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
NSPanel.m
|
Prep for new warning.
|
2009-07-21 18:45:22 +00:00 |
|
NSString.m
|
Prep for new warning.
|
2009-07-21 18:46:15 +00:00 |
|
NSWindow.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
NoReturn.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
ObjCProperties.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
ObjCRetSigs.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
PR2599.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
PR2978.m
|
Prep for new warning.
|
2009-07-21 18:52:41 +00:00 |
|
PR3991.m
|
Prep for new warning.
|
2009-07-21 18:58:50 +00:00 |
|
array-struct.c
|
Remove stale comment and fix RUN line.
|
2009-07-21 21:48:25 +00:00 |
|
casts.c
|
Prep for new warning.
|
2009-07-21 18:45:53 +00:00 |
|
casts.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
cfref_PR2519.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
cfref_rdar6080742.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
complex.c
|
Prep for new warnings about control flow falling off the ends of
|
2009-07-21 18:44:24 +00:00 |
|
concrete-address.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
conditional-op-missing-lhs.c
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
dead-stores.c
|
Prep for new warning.
|
2009-07-21 19:01:31 +00:00 |
|
dead-stores.cpp
|
Improve CFG support for C++ throw expressions.
|
2009-07-22 22:56:04 +00:00 |
|
dead-stores.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
delegates.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
elementtype.c
|
Introduce a new concept to the static analyzer: SValuator.
|
2009-06-26 00:05:51 +00:00 |
|
exercise-ps.c
|
Prep for new warning.
|
2009-07-21 18:54:29 +00:00 |
|
fields.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
func.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
misc-ps-64.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
misc-ps-basic-store.m
|
Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case
|
2009-07-13 21:55:12 +00:00 |
|
misc-ps-eager-assume.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
misc-ps-ranges.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +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
|
Add test case for bug fix in r76262.
|
2009-07-18 05:02:33 +00:00 |
|
misc-ps.m
|
Fix a crasher in StoreManager::InvalidateRegion() caused by using the
|
2009-07-22 04:23:20 +00:00 |
|
nil-receiver-undefined-larger-than-voidptr-ret.m
|
RegionStoreManager now correctly passes this test file.
|
2009-07-10 21:45:10 +00:00 |
|
no-exit-cfg.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
no-outofbounds.c
|
Rename test file.
|
2009-07-10 21:48:43 +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
|
Prep for new warning.
|
2009-07-22 22:55:09 +00:00 |
|
outofbound.c
|
Introduce a new concept to the static analyzer: SValuator.
|
2009-06-26 00:05:51 +00:00 |
|
override-werror.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
pr4209.m
|
Prep for new warning.
|
2009-07-21 18:57:14 +00:00 |
|
pr_2542_rdar_6793404.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
pr_4164.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +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
|
Prep for new warning.
|
2009-07-21 19:00:12 +00:00 |
|
rdar-6539791.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
rdar-6540084.m
|
Prep for new warning.
|
2009-07-21 18:56:04 +00:00 |
|
rdar-6541136-region.c
|
Region store: when casting VarRegions, if the cast-to pointee type is
|
2009-05-08 07:28:25 +00:00 |
|
rdar-6541136.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
rdar-6562655.m
|
Prep for new warning.
|
2009-07-21 18:48:43 +00:00 |
|
rdar-6582778-basic-store.c
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
rdar-6600344-nil-receiver-undefined-struct-ret.m
|
This test now passes with RegionStoreManager.
|
2009-07-11 00:03:23 +00:00 |
|
refcnt_naming.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
region-1.m
|
Prep for new warning.
|
2009-07-21 19:01:01 +00:00 |
|
region-only-test.c
|
Introduce a new concept to the static analyzer: SValuator.
|
2009-06-26 00:05:51 +00:00 |
|
retain-release-basic-store.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
retain-release-gc-only.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +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 for PR 4596, which is already fixed due to Steve Naroff's overhaul of the Objective-C type system, but isn't in a checker build yet.
|
2009-07-21 21:21:04 +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
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
uninit-msg-expr.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
uninit-ps-rdar6145427.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +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
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
uninit-vals.c
|
Prep for new warning.
|
2009-07-21 18:56:34 +00:00 |
|
uninit-vals.m
|
Switch BasicStoreManager to use the new CastRegion implementation by default,
|
2009-07-10 00:41:58 +00:00 |
|
unused-ivars.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
6610c0326b