llvm-project/clang/test/Analysis
Ted Kremenek e7b9d4342b Tighten format string diagnostic and make it a bit clearer (and a bit closer to GCC's).
llvm-svn: 148579
2012-01-20 21:52:58 +00:00
..
CFDateGC.m Modify how the -verify flag works. Currently, the verification string and 2011-12-15 00:38:15 +00:00
CFNumber.c [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
CFRetainRelease_NSAssertionHandler.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
CGColorSpace.c [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
CheckNSError.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
MissingDealloc.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
NSPanel.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
NSString.m Modify how the -verify flag works. Currently, the verification string and 2011-12-15 00:38:15 +00:00
NSWindow.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
NoReturn.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
OSAtomic_mac.cpp Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without 2011-04-27 05:34:09 +00:00
ObjCProperties.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
ObjCRetSigs.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
PR2599.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
PR2978.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
PR3991.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
PR7218.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
PR9741.cpp Update all tests other than Driver/std.cpp to use -std=c++11 rather than 2011-10-13 22:29:44 +00:00
additive-folding-range-constraints.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
additive-folding.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
analyzeOneFunction.m [analyzer] Test for -analyze-function on ObjectiveC to accompany r139439. 2011-09-12 17:48:08 +00:00
analyze_display_progress.c Fix -analyze-display-progress (once again), this time with an additional regression test. 2010-06-25 20:59:24 +00:00
analyzer-stats.c Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group. 2011-03-12 06:14:28 +00:00
array-struct-region.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
array-struct.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
auto-obj-dtors-cfg-output.cpp Colorize and condense CFG pretty-printing. 2011-12-22 23:33:52 +00:00
base-init.cpp Begin reworking static analyzer support for C++ method calls. The current logic was divorced 2011-03-30 17:41:19 +00:00
blocks.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
bstring.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
casts.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
casts.m Change the AST representation of operations on Objective-C 2011-11-06 09:01:30 +00:00
cfref_PR2519.c [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
cfref_rdar6080742.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
chroot.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
complex.c Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
concrete-address.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
constant-folding.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
cxx-crashes.cpp Don't add a symbolic region for 'this' if the member function is static. 2011-03-26 14:30:44 +00:00
dead-stores.c Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
dead-stores.cpp Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
dead-stores.m Fix regression in LiveVariables when reasoning about variables captured by blocks. 2011-12-22 00:46:32 +00:00
default-analyze.m Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
default-diagnostic-visitors.c Add a test for checking that custom diagnostic visitors are working. 2011-08-18 19:02:46 +00:00
delegates.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
derived-to-base.cpp [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
div-zero.cpp Address PR10616. The crash has already been fixed by Ted in r140725, so just refactor to use existing API + test case. 2011-10-01 06:35:19 +00:00
domtest.c Add source-level dominators analysis. Patch by Guoping Long! 2011-10-25 00:25:24 +00:00
dtor.cpp [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
dtors-in-dtor-cfg-output.cpp Colorize and condense CFG pretty-printing. 2011-12-22 23:33:52 +00:00
elementtype.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
exercise-ps.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
fields.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
free.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
func.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
global-region-invalidation.c [analyzer] Be less pessimistic about invalidation of global variables 2012-01-04 23:54:01 +00:00
idempotent-operations-limited-loops.c Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
idempotent-operations.c Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
idempotent-operations.cpp Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
idempotent-operations.m Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
initializer.cpp [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
initializers-cfg-output.cpp Colorize and condense CFG pretty-printing. 2011-12-22 23:33:52 +00:00
inline.c [analyzer] fix inlining's handling of mapping actual to formal arguments and limit the call stack depth. The analyzer can now accurately simulate factorial for limited depths. 2012-01-12 19:25:46 +00:00
inline2.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
inline3.c Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. 2011-10-24 01:32:45 +00:00
inline4.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
iterators.cpp Switch these two tests to use the Clang driver instead of CC1. They want 2011-11-05 10:15:30 +00:00
keychainAPI-diagnostic-visitor.m [analyzer] MacOSKeychainAPIChecker: Provide reacher diagnostic trace by pointing to the allocation site when reporting a leak. 2011-08-24 20:52:46 +00:00
keychainAPI.m [analyzer] Make KeychainAPI checker less aggressive. radar://10508828 2011-12-01 16:41:58 +00:00
lvalue.cpp [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
malloc-overflow.c [analyzer] Remove target triple from the malloc overflow test. 2011-09-27 20:41:53 +00:00
malloc-overflow.cpp Fix a crash in MallocOverflowSecurityChecker. Patch by Lei Zhang. 2011-09-27 22:25:01 +00:00
malloc-sizeof.c Add an experimental MallocSizeofChecker, which reports inconsistencies 2011-12-08 08:31:14 +00:00
malloc.c If size was equal to 0, either NULL or a pointer suitable to be passed to 2011-09-01 04:53:59 +00:00
method-arg-decay.m Modify how the -verify flag works. Currently, the verification string and 2011-12-15 00:38:15 +00:00
method-call-intra-p.cpp [analyzer] Do not invalidate arguments when the parameter's 2011-12-20 22:35:30 +00:00
method-call.cpp [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
misc-ps-64.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps-cxx0x.cpp Update all tests other than Driver/std.cpp to use -std=c++11 rather than 2011-10-13 22:29:44 +00:00
misc-ps-eager-assume.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps-ranges.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps-region-store-i386.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps-region-store-x86_64.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps-region-store.cpp Fix typo. 2011-12-01 07:39:23 +00:00
misc-ps-region-store.m Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
misc-ps-region-store.mm [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps.c [analyzer] Be less pessimistic about invalidation of global variables 2012-01-04 23:54:01 +00:00
misc-ps.m Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
new.cpp [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
nil-receiver-undefined-larger-than-voidptr-ret-region.m [analyzer] ObjC message sends to nil receivers that return structs are now okay (compiler zeroes out the data). Fixes <rdar://problem/9151319>. 2011-10-28 19:05:10 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
no-exit-cfg.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
no-outofbounds.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
null-deref-ps-region.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
null-deref-ps.c Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
nullptr.cpp Update all tests other than Driver/std.cpp to use -std=c++11 rather than 2011-10-13 22:29:44 +00:00
objc-arc.m Make -fobjc-nonfragile-abi the -cc1 default, since it's the 2011-10-02 01:16:38 +00:00
operator-calls.cpp [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
out-of-bounds.c [analyzer] Remove all uses of ConstraintManager::canResonAbout() from 2011-12-05 18:58:25 +00:00
outofbound-notwork.c Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) 2011-08-23 20:30:50 +00:00
outofbound.c Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) 2011-08-23 20:30:50 +00:00
override-werror.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
plist-output-alternate.m [analyzer] Fix a bug in RetainReleaseChecker diagnostics. It gives more precise error message on the modified test case (and prevents duplicate diagnostics when we purge at block granularity). 2011-09-30 02:19:19 +00:00
plist-output.m Extend ConditionBRVisitor to handle condition variable assignments. 2012-01-04 08:18:09 +00:00
pr4209.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
pr_2542_rdar_6793404.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
pr_4164.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
properties.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
pthreadlock.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
ptr-arith.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
rdar-6442306-1.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
rdar-6540084.m Use Sema::RequireCompleteType to check for the completeness of 2011-11-14 22:10:01 +00:00
rdar-6541136-region.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
rdar-6562655.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m [analyzer] ObjC message sends to nil receivers that return structs are now okay (compiler zeroes out the data). Fixes <rdar://problem/9151319>. 2011-10-28 19:05:10 +00:00
rdar-7168531.m Make -fobjc-nonfragile-abi the -cc1 default, since it's the 2011-10-02 01:16:38 +00:00
refcnt_naming.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
reference.cpp [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
region-1.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
retain-release-gc-only.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
retain-release-path-notes-gc.m Modify how the -verify flag works. Currently, the verification string and 2011-12-15 00:38:15 +00:00
retain-release-path-notes.m Fix typos in analyzer diagnostics pointed out by Matt Beaumont-Gay and Robert Purves. 2011-12-22 06:35:52 +00:00
retain-release-region-store.m Modify how the -verify flag works. Currently, the verification string and 2011-12-15 00:38:15 +00:00
retain-release.m Teach the static analyzer to not treat XPC types as CF types. 2012-01-04 00:35:48 +00:00
retain-release.mm Tweak the interface for analyzing the CF conventions for a name 2011-10-01 00:48:56 +00:00
security-syntax-checks-no-emit.c Turn 'SecuritySyntaxChecker' into a "meta" security checker for insecure APIs. Now 2012-01-20 01:44:29 +00:00
security-syntax-checks.m Implement checker that looks for calls to mktemps and friends that have fewer than 6 Xs. Implements <rdar://problem/6336672>. 2012-01-20 05:35:06 +00:00
self-init.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
sizeofpointer.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
stack-addr-ps.c Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
stack-addr-ps.cpp Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. 2011-10-02 00:54:48 +00:00
stack-block-returned.cpp Handle CXXTempObjectRegion in StackAddrEscapeChecker. 2011-08-26 00:41:31 +00:00
stackaddrleak.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
stream.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
string-fail.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
string.c [analyzer] RegionStoreManager::getBinding() should not crash when 2012-01-13 00:56:48 +00:00
system-header-simulator.h [analyzer] Be less pessimistic about invalidation of global variables 2012-01-04 23:54:01 +00:00
taint-generic.c Tighten format string diagnostic and make it a bit clearer (and a bit closer to GCC's). 2012-01-20 21:52:58 +00:00
taint-tester.c [analyzer] Add another tests to taint tester. 2012-01-04 23:54:04 +00:00
temp-obj-dtors-cfg-output.cpp Add elidable CXXConstructExpr as block-level expr. It converts an lvalue to a rvalue, which is a useful step during AST evaluation. 2012-01-11 02:39:07 +00:00
undef-buffers.c [analyzer] Fix a failure encountered while analyzing bind (radar://10105448). 2011-09-12 18:07:30 +00:00
uninit-msg-expr.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
uninit-ps-rdar6145427.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
uninit-vals-ps-region.m Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
uninit-vals-ps.c Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
uninit-vals.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
unions-region.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
unix-fns.c "This change adds alloca/valloc checks to UnixAPIChecker. It includes a small refactoring for 2012-01-11 08:13:21 +00:00
unreachable-code-path.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
unused-ivars.m Make -fobjc-nonfragile-abi the -cc1 default, since it's the 2011-10-02 01:16:38 +00:00
variadic-method-types.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
virtualcall.cpp Add initial version of checker to check if virtual member functions are called transitively 2012-01-03 23:18:57 +00:00