maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Analysis
History
Ted Kremenek 481c121ab5 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object 
region when doing lazy value retrieval of an ivar.

This fixes: <rdar://problem/7312221>

llvm-svn: 84584
 		2009-10-20 01:20:57 +00:00
..
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 Per an astute observation from Zhongxing Xu, remove a "special case" logic in 2009-10-15 01:40:34 +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 comments to test. 2009-10-14 06:05:09 +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 Turn -Wparentheses on by default. 2009-10-13 17:57:23 +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 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object 2009-10-20 01:20:57 +00:00
misc-ps.m Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant. 2009-10-17 07:39:35 +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 test case's dependency on platform headers. 2009-09-28 23:54:40 +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 retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. 2009-10-20 00:13:00 +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 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 retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. 2009-10-20 00:13:00 +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