llvm-project/clang/test/Analysis
Lenny Maiorani 467dbd5f13 strcat() and strncat() model additions to CStringChecker.
Validates inputs are not NULL, checks for overlapping strings, concatenates the strings checking for buffer overflow, sets the length of the destination string to the sum of the s1 length and the s2 length, binds the return value to the s1 value.

llvm-svn: 129215
2011-04-09 15:12:58 +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 Start overhauling static analyzer support for C++ constructors. The inlining support isn't complete, and needs 2011-04-08 22:42:35 +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 strcat() and strncat() model additions to CStringChecker. 2011-04-09 15:12:58 +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