llvm-project/clang/test/Analysis
Lenny Maiorani f3539ad5c7 This patch adds modeling of strcmp() to the CString checker. Validates inputs are not NULL and are real C strings, then does the comparison and binds the proper return value. Unit tests included.
llvm-svn: 129364
2011-04-12 17:08:43 +00:00
..
CFDateGC.m [analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers. 2011-02-28 19:49:17 +00:00
CFNumber.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
CFRetainRelease_NSAssertionHandler.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
CGColorSpace.c [analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers. 2011-02-28 19:49:17 +00:00
CheckNSError.m Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
MissingDealloc.m Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
NSPanel.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
NSString.m Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
NSWindow.m 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
NoReturn.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
ObjCProperties.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
ObjCRetSigs.m Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
PR2599.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
PR2978.m Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
PR3991.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +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
additive-folding-range-constraints.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
additive-folding.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +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 Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
array-struct.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
auto-obj-dtors-cfg-output.cpp Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes: 2011-04-04 23:29:12 +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 Adding Static Analyzer checker for mempcpy(). 2011-03-31 21:36:53 +00:00
casts.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
casts.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
cfref_PR2519.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
cfref_rdar6080742.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
chroot.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
complex.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
concrete-address.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
constant-folding.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +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 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
dead-stores.cpp 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
dead-stores.m 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
delegates.m [analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers. 2011-02-28 19:49:17 +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
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 [analyzer] Use the new registration mechanism for the debugging info "checks". 2011-02-17 21:39:39 +00:00
elementtype.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
exercise-ps.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
fields.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
flat-store.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
free.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
func.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
idempotent-operations-limited-loops.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
idempotent-operations.c Change test/Analysis/idempotent-operations.c to output the .plist file in the test output directory. 2011-04-04 22:30:01 +00:00
idempotent-operations.cpp Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type. 2011-04-02 02:56:23 +00:00
idempotent-operations.m Remove bogus assertion in IdempotentOperationsChecker. 2011-03-15 19:27:57 +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 [analyzer] Use the new registration mechanism for the debugging info "checks". 2011-02-17 21:39:39 +00:00
inline.c Begin reworking static analyzer support for C++ method calls. The current logic was divorced 2011-03-30 17:41:19 +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 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +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 Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +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.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
method-arg-decay.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +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] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
misc-ps-basic-store.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
misc-ps-eager-assume.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
misc-ps-flat-store.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
misc-ps-ranges.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
misc-ps-region-store-i386.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
misc-ps-region-store-x86_64.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
misc-ps-region-store.cpp static analyzer: invalidate by-ref arguments passed to constructors in a 'new' expression. 2011-04-12 05:12:39 +00:00
misc-ps-region-store.m Fix RegionStore bug when doing a field load whose parent is also a field assigned a LazyCompoundValue. Fixes <rdar://problem/9163742> and PR 9522. 2011-04-03 04:09:15 +00:00
misc-ps-region-store.mm [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
misc-ps.m Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +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] 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.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
no-exit-cfg.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
no-outofbounds.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
null-deref-ps-region.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
null-deref-ps.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
operator-calls.cpp [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
out-of-bounds.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
outofbound.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
override-werror.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
plist-output-alternate.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
plist-output.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
pr4209.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
pr_2542_rdar_6793404.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
pr_4164.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
properties.m [analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers. 2011-02-28 19:49:17 +00:00
ptr-arith.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
rdar-6442306-1.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
rdar-6540084.m 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
rdar-6541136-region.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
rdar-6541136.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
rdar-6562655.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
rdar-6582778-basic-store.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
rdar-7168531.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
refcnt_naming.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
reference.cpp [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
region-1.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
retain-release-basic-store.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
retain-release-gc-only.m Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
retain-release-region-store.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
retain-release.m When updating the retain summary based on {cf,ns}_consumed attributes, 2011-04-06 09:02:12 +00:00
security-syntax-checks-no-emit.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
security-syntax-checks.m Add security syntax checker for strcat() which causes the Static Analyzer to generate a warning any time the strcat() function is used with a note suggesting to use a function which provides bounded buffers. CWE-119. 2011-04-05 20:18:46 +00:00
self-init.m Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
sizeofpointer.c [analyzer] Use the new registration mechanism on the non-path-sensitive-checkers: 2011-02-17 21:39:33 +00:00
stack-addr-ps.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
stack-addr-ps.cpp Follow through references to catch returned stack addresses, local blocks, label addresses or references to temporaries, e.g: 2010-11-30 22:57:32 +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] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
string.c This patch adds modeling of strcmp() to the CString checker. Validates inputs are not NULL and are real C strings, then does the comparison and binds the proper return value. Unit tests included. 2011-04-12 17:08:43 +00:00
temp-obj-dtors-cfg-output.cpp [analyzer] Use the new registration mechanism for the debugging info "checks". 2011-02-17 21:39:39 +00:00
undef-buffers.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
uninit-msg-expr.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
uninit-ps-rdar6145427.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
uninit-vals-ps-region.m 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
uninit-vals-ps.c [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +00:00
uninit-vals.m [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. 2011-02-28 19:49:42 +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 Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
unreachable-code-path.c Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
unused-ivars.m Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00
variadic-method-types.m Rework checker "packages" and groups to be more hierarchical. 2011-03-24 00:28:47 +00:00