| .. |
|
CFDateGC.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
CFNumber.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
CFRetainRelease_NSAssertionHandler.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
CGColorSpace.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
CheckNSError.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
MissingDealloc.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
NSPanel.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
NSString.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
NSWindow.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
NoReturn.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
ObjCProperties.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
ObjCRetSigs.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
PR2599.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
PR2978.m
|
Prep for new warning.
|
2009-07-21 18:52:41 +00:00 |
|
PR3991.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
array-struct.c
|
Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.
|
2009-11-09 08:07:38 +00:00 |
|
casts.c
|
Add comments to test.
|
2009-10-14 06:05:09 +00:00 |
|
casts.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
cfref_PR2519.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
cfref_rdar6080742.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
complex.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
concrete-address.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
conditional-op-missing-lhs.c
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
dead-stores.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
dead-stores.cpp
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
dead-stores.m
|
Rename clang to clang-cc.
|
2009-03-24 02:24:46 +00:00 |
|
delegates.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
elementtype.c
|
Introduce a new concept to the static analyzer: SValuator.
|
2009-06-26 00:05:51 +00:00 |
|
exercise-ps.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
fields.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
func.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
misc-ps-64.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +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
|
Add test case for <rdar://problem/7342806>.
|
2009-10-29 00:49:46 +00:00 |
|
misc-ps-ranges.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +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 checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.
|
2009-11-09 08:07:38 +00:00 |
|
misc-ps.m
|
Add undefined array subscript checker.
|
2009-11-11 13:42:54 +00:00 |
|
nil-receiver-undefined-larger-than-voidptr-ret.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
no-exit-cfg.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
no-outofbounds.c
|
Reimplement out-of-bound array access checker with the new checker interface.
|
2009-11-11 12:33:27 +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
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
outofbound.c
|
Reimplement out-of-bound array access checker with the new checker interface.
|
2009-11-11 12:33:27 +00:00 |
|
override-werror.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
pr4209.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
pr_2542_rdar_6793404.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
pr_4164.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
ptr-arith.c
|
Add test case for PointerSubChecker.
|
2009-11-10 02:45:49 +00:00 |
|
rdar-6442306-1.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
rdar-6540084.m
|
Prep for new warning.
|
2009-07-21 18:56:04 +00:00 |
|
rdar-6541136-region.c
|
Split buffer overflow test case into two test cases, removing out logic that was commented out.
|
2009-11-11 17:17:06 +00:00 |
|
rdar-6541136.c
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
rdar-6562655.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +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
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
rdar-7168531.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
refcnt_naming.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
region-1.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +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
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
retain-release-region-store.m
|
retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion().
|
2009-10-16 00:30:49 +00:00 |
|
retain-release.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
security-syntax-checks.m
|
Add check for obsolete function call of getpw().
|
2009-11-09 12:19:26 +00:00 |
|
sizeofpointer.c
|
Add a test case for CWE-467, and simplify the wording of the warning.
|
2009-11-09 02:28:12 +00:00 |
|
stack-addr-ps.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
uninit-msg-expr.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
uninit-ps-rdar6145427.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
uninit-vals-ps-region.c
|
Catch uses of undefined values when they are used in assignment, thus catching such bugs closer to the source.
|
2009-11-04 04:24:16 +00:00 |
|
uninit-vals-ps.c
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +00:00 |
|
uninit-vals.c
|
Prep for new warning.
|
2009-07-21 18:56:34 +00:00 |
|
uninit-vals.m
|
Eliminate &&s in tests.
|
2009-11-08 01:45:36 +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
|
Unused ivars checker: also check methods in categories that are defined in the same translation unit. Fixes <rdar://problem/6260004>.
|
2009-10-28 22:18:22 +00:00 |
91989d166a