llvm/clang/test/Analysis at e4f7df694d015c26487fd66878cdcb2d2de0ae83 - llvm

additive-folding-range-constraints.c

Don't depend on system headers in clang -cc1 tests.

2010-06-24 11:06:12 +00:00

additive-folding.c

Put the tautological-comparison-of-unsigned-against-zero warnings in

2010-09-08 02:01:27 +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

Added AnalyzerStatsChecker, a path sensitive check that reports visitation statistics about analysis. Running clang with the -analyzer-stats flag will emit warnings containing the information. We can then run a postanalysis script to take this data and give useful information about how much the analyzer missed in a project.

2010-09-10 00:44:44 +00:00

array-struct-region.c

Handle nested compound values in BindArray for multidimensional arrays. Fixes PR7945.

2010-08-20 01:05:59 +00:00

array-struct.c

Move new test (that requires RegionStore) into its own file.

2010-07-29 07:11:59 +00:00

auto-obj-dtors-cfg-output.cpp

Added generation of destructors for constant size arrays.

2010-10-25 07:00:40 +00:00

blocks.m

…

bstring.c

Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:

2010-08-16 07:51:42 +00:00

casts.c

…

casts.m

…

CFDateGC.m

…

CFNumber.c

…

cfref_PR2519.c

…

cfref_rdar6080742.c

…

CFRetainRelease_NSAssertionHandler.m

…

CGColorSpace.c

…

CheckNSError.m

…

chroot.c

Add experimental chroot check which checks improper use of chroot(). Patch by

2010-10-10 05:45:30 +00:00

complex.c

tests: Use -ffreestanding when including stdint.h, to avoid platform dependencies.

2010-09-07 22:54:28 +00:00

concrete-address.c

…

conditional-op-missing-lhs.c

…

constant-folding.c

Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker.

2010-08-18 21:17:24 +00:00

dead-stores.c

Revert r114316, -Wunused-value enabled by default was intended.

2010-09-19 23:03:35 +00:00

dead-stores.cpp

Add dead stores C++ test case that was previously asserting due to an

2010-06-25 22:48:52 +00:00

dead-stores.m

Fix a horrible bug in all dataflow analyses that use CFGRecStmtVisitor (including live variables analysis).

2010-10-22 22:08:32 +00:00

delegates.m

…

dtors-in-dtor-cfg-output.cpp

Added generation of destructors for member constant size arrays.

2010-10-25 07:05:54 +00:00

elementtype.c

…

exercise-ps.c

make clang print types as "const int *" instead of "int const*",

2010-09-05 00:04:01 +00:00

fields.c

…

flat-store.c

Improve flat store: MemRegion::getAsOffset() computes a region's offset within

2010-08-02 04:56:14 +00:00

free.c

Catch free()s on non-regions and regions known to be not from malloc(), by checking the symbol type and memory space.

2010-06-07 19:32:37 +00:00

func.c

Adjusted the semantics of assign checking in IdempotentOperationChecker

2010-08-30 19:25:43 +00:00

idempotent-operations-limited-loops.c

"Fix" bogus idempotent operations warning due to loop unrolling not unrolling enough loops to show that an invariant

2010-10-18 23:36:05 +00:00

idempotent-operations.c

Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically false positives).

2010-10-29 01:06:54 +00:00

idempotent-operations.cpp

Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis

2010-08-24 21:09:07 +00:00

initializers-cfg-output.cpp

Added support for C++ initializers in CFG.

2010-10-04 03:38:22 +00:00

inline2.c

Turn -analyzer-inline-call on for C functions. This also fixed a bug that

2010-05-06 03:38:27 +00:00

inline3.c

Turn -analyzer-inline-call on for C functions. This also fixed a bug that

2010-05-06 03:38:27 +00:00

inline4.c

Turn -analyzer-inline-call on for C functions. This also fixed a bug that

2010-05-06 03:38:27 +00:00

inline.c

Turn -analyzer-inline-call on for C functions. This also fixed a bug that

2010-05-06 03:38:27 +00:00

malloc.c

After a lengthy design discussion, add support for "ownership attributes" for malloc/free checking. Patch by Andrew McGregor!

2010-07-31 01:52:11 +00:00

method-call.cpp

Make -analyzer-inline-call not a separate analysis. Instead it's a boolean

2010-05-06 02:59:29 +00:00

misc-ps-64.m

…

misc-ps-basic-store.m

…

misc-ps-eager-assume.m

…

misc-ps-flat-store.c

…

misc-ps-ranges.m

…

misc-ps-region-store-i386.m

…

misc-ps-region-store-x86_64.m

…

misc-ps-region-store.cpp

Make Clang static analyzer skip function template definitions. This fixes Clang PR 8426, 8427, & 8433. Reviewed by Ted Kremenek and Doug Gregor.

2010-10-31 04:22:34 +00:00

misc-ps-region-store.m

If visiting RHS causes us to finish 'Block', e.g. the RHS is a StmtExpr

2010-10-27 03:23:10 +00:00

misc-ps-region-store.mm

…

misc-ps.m

Fix lazy symbolication bug in RegionStore involving fields of global variables. When invalidated, the entire

2010-10-26 00:06:17 +00:00

MissingDealloc.m

…

new.cpp

The second check point in the old test case was invalid.

2010-04-21 02:22:25 +00:00

nil-receiver-undefined-larger-than-voidptr-ret.m

Tweak nil receiver checker to not warning about 64-bit return values.

2010-09-30 00:37:10 +00:00

no-exit-cfg.c

…

no-outofbounds.c

Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.

2010-07-04 00:00:41 +00:00

NoReturn.m

…

NSPanel.m

…

NSString.m

…

NSWindow.m

…

null-deref-ps-region.c

…

null-deref-ps.c

Tweak null dereference checker to give better diagnostics for null dereferences resulting from array accesses.

2010-10-26 00:06:13 +00:00

ObjCProperties.m

…

ObjCRetSigs.m

…

outofbound.c

- Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking.

2010-08-16 01:15:17 +00:00

override-werror.c

Improve diagnostics when we fail to convert from a source type to a

2010-04-09 00:35:39 +00:00

plist-output-alternate.m

Tweak null dereference checker to give better diagnostics for null dereferences resulting from array accesses.

2010-10-26 00:06:13 +00:00

plist-output.m

Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().

2010-09-09 07:13:00 +00:00

pr4209.m

…

PR2599.m

…

PR2978.m

…

PR3991.m

…

PR7218.c

After conversations with Zhongxing Xu and Jordy Rose, refine the logic in

2010-05-31 01:22:04 +00:00

pr_2542_rdar_6793404.m

…

pr_4164.c

…

ptr-arith.c

Pointers casted as integers still count as locations to SimpleSValuator, so don't crash if we do a funny thing like ((int)ptr)&1. Fixes PR7527.

2010-06-30 01:35:20 +00:00

rdar-6442306-1.m

Warn if a variable marked with the "unused" attribute is used. Patch by Darin Adler!

2010-10-22 23:37:08 +00:00

rdar-6540084.m

…

rdar-6541136-region.c

Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis

2010-08-24 21:09:07 +00:00

rdar-6541136.c

Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis

2010-08-24 21:09:07 +00:00

rdar-6562655.m

…

rdar-6582778-basic-store.c

…

rdar-6600344-nil-receiver-undefined-struct-ret.m

…

rdar-7168531.m

A bug I've introduced in STDIN handling surfaced a few broken tests, fix them.

2010-06-25 12:48:07 +00:00

refcnt_naming.m

…

reference.cpp

Assignments to reference variables shouldn't kill the variable.

2010-06-04 01:14:56 +00:00

region-1.m

…

retain-release-basic-store.m

…

retain-release-gc-only.m

…

retain-release-region-store.m

Fix idempotent operations false positive caused by ivars not being invalidated in function

2010-08-02 21:59:12 +00:00

retain-release.m

Add test case for <rdar://problem/8356342>.

2010-10-28 02:50:32 +00:00

security-syntax-checks-no-emit.c

…

security-syntax-checks.m

…

sizeofpointer.c

…

stack-addr-ps.c

Tweak stack address checker to report multiple cases where globals may reference stack memory.

2010-06-17 04:21:37 +00:00

stack-addr-ps.cpp

Teach SemaChecking::CheckReturnStackAddr about ImplicitCastExprs that convert values to an lvalue. This allows us to warn (again) about returning references to stack variables. (fixes PR 7812).

2010-08-04 20:01:07 +00:00

stackaddrleak.c

Tweak stack address checker to report multiple cases where globals may reference stack memory.

2010-06-17 04:21:37 +00:00

stream.c

Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic.

2010-09-07 20:45:26 +00:00

string.c

Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:

2010-08-16 07:51:42 +00:00

undef-buffers.c

Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my

2010-06-01 03:01:33 +00:00

uninit-msg-expr.m

Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call.

2010-09-09 22:51:55 +00:00

uninit-ps-rdar6145427.m

Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call.

2010-09-09 22:51:55 +00:00

uninit-vals-ps-region.m

Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations)

2010-08-06 22:23:07 +00:00

uninit-vals-ps.c

Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call.

2010-09-09 22:51:55 +00:00

uninit-vals.c

make clang print types as "const int *" instead of "int const*",

2010-09-05 00:04:01 +00:00

uninit-vals.m

…

unions-region.m

…

unix-fns.c

…

unreachable-code-path.c

UnreachableCodeChecker cleanup and improvements

2010-10-06 23:02:25 +00:00

unused-ivars.m

Don't warn about unamed bitfield ivars in the ObjCUnusedIvarsChecker. Fixes <rdar://problem/8481311>.

2010-10-28 02:16:22 +00:00