| .. |
|
CFDateGC.m
|
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
|
2010-02-05 02:06:54 +00:00 |
|
CFNumber.c
|
[analyzer] Use the new registration mechanism on the apple checkers:
|
2011-02-16 01:40:52 +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
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +00:00 |
|
NSPanel.m
|
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
|
2010-02-05 02:06:54 +00:00 |
|
NSString.m
|
[analyzer] Use the new registration mechanism on the apple checkers:
|
2011-02-16 01:40:52 +00:00 |
|
NSWindow.m
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +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
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +00:00 |
|
PR2599.m
|
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
|
2010-02-05 02:06:54 +00:00 |
|
PR2978.m
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +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
|
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
|
2011-02-15 21:25:03 +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
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +00:00 |
|
array-struct-region.c
|
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
|
2011-02-15 21:25:03 +00:00 |
|
array-struct.c
|
[analyzer] Use the new registration mechanism on some of the experimental internal checkers:
|
2011-02-15 22:55:20 +00:00 |
|
auto-obj-dtors-cfg-output.cpp
|
Pass -fexceptions to all tests that use try/catch/throw.
|
2011-02-19 19:23:03 +00:00 |
|
base-init.cpp
|
CXXBaseObjectRegion is like FieldRegion. Need to blast through it when
|
2011-01-13 12:46:31 +00:00 |
|
blocks.m
|
Tweak wording of static analyzer diagnostic
|
2011-01-25 19:13:42 +00:00 |
|
bstring.c
|
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
|
2011-02-15 21:25:03 +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
|
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
|
2011-02-15 21:25:03 +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
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +00:00 |
|
constant-folding.c
|
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
|
2011-02-15 21:25:03 +00:00 |
|
cxx-crashes.cpp
|
[analyzer] Fix crash when analyzing C++ code.
|
2011-02-19 08:03:18 +00:00 |
|
dead-stores.c
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +00:00 |
|
dead-stores.cpp
|
Pass -fexceptions to all tests that use try/catch/throw.
|
2011-02-19 19:23:03 +00:00 |
|
dead-stores.m
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +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
|
[analyzer] Use the new registration mechanism for the debugging info "checks".
|
2011-02-17 21:39:39 +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
|
[analyzer] Fix a crash until we can handle temporary struct objects properly.
|
2011-02-03 22:01:32 +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
|
[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.
|
2011-02-15 22:55:14 +00:00 |
|
idempotent-operations.c
|
[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.
|
2011-02-15 22:55:14 +00:00 |
|
idempotent-operations.cpp
|
[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.
|
2011-02-15 22:55:14 +00:00 |
|
idempotent-operations.m
|
[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.
|
2011-02-15 22:55:14 +00:00 |
|
initializer.cpp
|
Handle member initializer in C++ ctor.
|
2010-11-16 07:52:17 +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
|
Teach RegionStore::EnterStackFrame() to handle
|
2011-01-14 20:29:43 +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 |
|
lvalue.cpp
|
In C++, assignment and compound assignment operators return an lvalue.
|
2011-01-10 03:54:19 +00:00 |
|
malloc.c
|
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
|
2011-02-15 21:25:03 +00:00 |
|
method-call.cpp
|
[analyzer] Disable a test until inlining CXXConstructExprs is fully investigated.
|
2011-02-19 01:08:37 +00:00 |
|
misc-ps-64.m
|
Warn about code that uses variables and functions with internal linkage
|
2011-02-19 02:53:41 +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
|
Handle 'UsingDirective' in CFGRecStmtDeclVisitor.
|
2011-02-14 17:00:16 +00:00 |
|
misc-ps-region-store.m
|
[analyzer] Use the new registration mechanism on some of the experimental internal checkers:
|
2011-02-15 22:55:20 +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
|
Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel.
|
2011-02-21 22:11:26 +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-region.m
|
Add test case for <rdar://problem/6888289>.
|
2011-02-12 01:25:04 +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
|
[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.
|
2011-02-15 22:55:14 +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 trivial buffer overflow checking in Sema.
|
2011-02-16 01:57:07 +00:00 |
|
outofbound.c
|
Enhance the array bounds checking to work for several other constructs,
|
2011-02-17 21:10:52 +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 |
|
properties.m
|
[analyzer] Fix crash when handling dot syntax on 'super'.
|
2011-01-27 16:17:11 +00:00 |
|
ptr-arith.c
|
[analyzer] Use the new registration mechanism on some of the experimental internal checkers:
|
2011-02-15 22:55: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
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +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
|
analyzer, retain/release checker: Remove hack where objects passed in message to 'self' are no longer tracked.
|
2011-02-08 22:54:26 +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
|
[analyzer] Use the new registration mechanism on the apple checkers:
|
2011-02-16 01:40:52 +00:00 |
|
retain-release-region-store.m
|
Rework ExprEngine::processCFGBlockEntrance()
|
2011-01-11 06:37:47 +00:00 |
|
retain-release.m
|
[analyzer] Use the new registration mechanism on the apple checkers:
|
2011-02-16 01:40:52 +00:00 |
|
security-syntax-checks-no-emit.c
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +00:00 |
|
security-syntax-checks.m
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +00:00 |
|
self-init.m
|
[analyzer] Overhauling of the checker registration mechanism.
|
2011-02-14 18:13:31 +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] Use the new registration mechanism on some of the internal checks. These are:
|
2011-02-15 07:42:33 +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] Use the new registration mechanism on some of the internal checks. These are:
|
2011-02-15 07:42:33 +00:00 |
|
stream.c
|
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
|
2011-02-15 21:25:03 +00:00 |
|
string.c
|
Add CStringChecker support for strncpy. Patch by Lenny Maiorani!
|
2011-02-22 04:58:34 +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
|
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
|
[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.
|
2011-02-15 22:55:14 +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
|
[analyzer] Use the new registration mechanism on some of the internal checks. These are:
|
2011-02-15 07:42:33 +00:00 |
|
unreachable-code-path.c
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +00:00 |
|
unused-ivars.m
|
[analyzer] Use the new registration mechanism on the non-path-sensitive-checkers:
|
2011-02-17 21:39:33 +00:00 |
fb1a79af7a