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 c057f417d8 Add basic checking for passing NULL to CFRetain/CFRelease, since those functions 
are not explicitly marked as not accepting NULL pointers. This check illustrates
how we need more refactoring in the custom-check logic.

llvm-svn: 75570
 		2009-07-14 00:43:42 +00:00
..
CFDateGC.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
NSString.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 Check for method type conflict between declaration in 2009-05-01 20:07:12 +00:00
PR3991.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
array-struct.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
casts.c Fix silly mistake I made applying patch to fix test. 2009-07-10 22:27:56 +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 Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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.m Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case 2009-07-13 21:55:12 +00:00
misc-ps.m Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case 2009-07-13 21:55:12 +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 Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 We want to diagnose sending message to a forward class 2009-05-08 23:45:49 +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 This test passes with RegionStoreManager. 2009-07-11 00:07:06 +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 Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 basic checking for passing NULL to CFRetain/CFRelease, since those functions 2009-07-14 00:43:42 +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 Add another uninitialized values test case illustrating that the CFG correctly 2009-03-30 18:29:27 +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