Ted Kremenek a6b0b96e53 Add basic support for pointer arithmetic in ... SimpleSValBuilder. This clears up some false positives emitted by ArrayBoundCheckerV2 due to the lack of support for pointer arithmetic. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122546 91177308-0d34-0410-b5e6-96231b3b80d8		2010-12-24 08:39:33 +00:00
..
CFDateGC.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
CFNumber.c	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
CFRetainRelease_NSAssertionHandler.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
CGColorSpace.c	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
CheckNSError.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
MissingDealloc.m	Rename -cc1 option '-warn-objc-missing-dealloc' to '-analyzer-check-objc-missing-dealloc'.	2010-02-05 01:59:21 +00:00
NSPanel.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
NSString.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
NSWindow.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
NoReturn.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
ObjCProperties.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
ObjCRetSigs.m	Rename -cc1 option '-warn-objc-methodsigs' to '-analyzer-check-objc-methodsigs'.	2010-02-05 01:57:44 +00:00
PR2599.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
PR2978.m	Rename -cc1 option '-warn-objc-missing-dealloc' to '-analyzer-check-objc-missing-dealloc'.	2010-02-05 01:59:21 +00:00
PR3991.m	Improve diagnostics on incomplete implementation	2010-03-27 19:02:17 +00:00
PR7218.c	After conversations with Zhongxing Xu and Jordy Rose, refine the logic in	2010-05-31 01:22:04 +00:00
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	Make all CXXConstructExpr's block-level expressions. This is required by	2010-11-01 06:46:05 +00:00
blocks.m	Add test case showing that a recursive block that captures a block pointer that	2010-02-16 16:55:10 +00:00
bstring.c	Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:	2010-08-16 07:51:42 +00:00
casts.c	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
casts.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
cfref_PR2519.c	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
cfref_rdar6080742.c	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
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	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
conditional-op-missing-lhs.c	Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'.	2010-02-05 01:52:40 +00:00
constant-folding.c	Do lvalue-to-rvalue conversions on the LHS of a shift operator.	2010-12-16 19:28:59 +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	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
derived-to-base.cpp	Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion.	2010-11-26 08:21:53 +00:00
dtor.cpp	Handle CFGAutomaticObjDtor.	2010-11-20 06:53:12 +00:00
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	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
exercise-ps.c	make clang print types as "const int *" instead of "int const*",	2010-09-05 00:04:01 +00:00
fields.c	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
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	Do lvalue-to-rvalue conversions on the LHS of a shift operator.	2010-12-16 19:28:59 +00:00
idempotent-operations.cpp	Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis	2010-08-24 21:09:07 +00:00
initializer.cpp	Handle member initializer in C++ ctor.	2010-11-16 07:52:17 +00:00
initializers-cfg-output.cpp	Make all CXXConstructExpr's block-level expressions. This is required by	2010-11-01 06:46:05 +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
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
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	After inlining the CXXConstructExpr, bind the temporary object region to it.	2010-12-22 07:20:27 +00:00
misc-ps-64.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
misc-ps-basic-store.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
misc-ps-eager-assume.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
misc-ps-flat-store.c	Add support for binding and retrieving VarRegions in flat store.	2010-02-08 05:40:07 +00:00
misc-ps-ranges.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
misc-ps-region-store-i386.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
misc-ps-region-store-x86_64.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
misc-ps-region-store.cpp	If the unary operator is prefix and an lvalue (in C++), bind	2010-12-22 08:38:13 +00:00
misc-ps-region-store.m	Teach AttrNonNullChecker about transparent unions. Fixes crash reported in <rdar://problem/8642434>.	2010-11-09 02:11:43 +00:00
misc-ps-region-store.mm	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
misc-ps.m	Remove invalid assertion from CFG builder. When building the CFG pieces for a ternary '?' expression,	2010-11-15 22:59:22 +00:00
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	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
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
null-deref-ps-region.c	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
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
operator-calls.cpp	Make my test case test what it meant to	2010-11-01 23:33:11 +00:00
out-of-bounds.c	Add basic support for pointer arithmetic in	2010-12-24 08:39:33 +00:00
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	Improve diagnostics on incomplete implementation	2010-03-27 19:02:17 +00:00
pr_2542_rdar_6793404.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
pr_4164.c	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
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	Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'.	2010-02-05 01:52:40 +00:00
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	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
rdar-6582778-basic-store.c	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
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	Fix assertion failure in cocoa::deriveNamingConvention()	2010-12-17 07:11:57 +00:00
reference.cpp	If the initializer is an rvalue and the variable is a const reference,	2010-12-19 02:26:37 +00:00
region-1.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
retain-release-basic-store.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
retain-release-gc-only.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
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	Revise Cocoa conventions detection: 'copy' and 'mutableCopy'	2010-12-17 04:44:43 +00:00
security-syntax-checks-no-emit.c	Rename -cc1 option '-warn-security-syntactic' to '-analyzer-check-security-syntactic'.	2010-02-05 01:50:36 +00:00
security-syntax-checks.m	Rename -cc1 option '-warn-security-syntactic' to '-analyzer-check-security-syntactic'.	2010-02-05 01:50:36 +00:00
sizeofpointer.c	Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.	2009-12-15 20:14:24 +00:00
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	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	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
temp-obj-dtors-cfg-output.cpp	Revert r118991.	2010-11-14 15:23:50 +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	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
unions-region.m	Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.	2010-02-05 02:06:54 +00:00
unix-fns.c	Static analyzer: Catch calls to malloc() with	2010-11-16 18:47:04 +00:00
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