.. |
CFDateGC.m
|
…
|
|
CFNumber.c
|
…
|
|
CFRetainRelease_NSAssertionHandler.m
|
…
|
|
CGColorSpace.c
|
…
|
|
CheckNSError.m
|
…
|
|
MissingDealloc.m
|
…
|
|
NSPanel.m
|
…
|
|
NSString.m
|
…
|
|
NSWindow.m
|
…
|
|
NoReturn.m
|
…
|
|
ObjCProperties.m
|
…
|
|
ObjCRetSigs.m
|
…
|
|
PR2599.m
|
…
|
|
PR2978.m
|
…
|
|
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 |
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
|
Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:
|
2010-08-16 07:51:42 +00:00 |
casts.c
|
…
|
|
casts.m
|
…
|
|
cfref_PR2519.c
|
…
|
|
cfref_rdar6080742.c
|
…
|
|
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
|
Do lvalue-to-rvalue conversions on the LHS of a shift operator.
|
2010-12-16 19:28:59 +00:00 |
dead-stores.c
|
Remove warning in dead stores checker for
|
2011-01-13 20:58:56 +00:00 |
dead-stores.cpp
|
Enhance AnalysisConsumer to also visit functions
|
2011-01-20 17:09:48 +00:00 |
dead-stores.m
|
Add test case for dead stores checker to not flag dead assignments to 'self' within a nested assignment.
|
2011-02-01 20:45:26 +00:00 |
delegates.m
|
…
|
|
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
|
…
|
|
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
|
"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
|
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
|
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
|
…
|
|
misc-ps-basic-store.m
|
…
|
|
misc-ps-eager-assume.m
|
…
|
|
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
|
…
|
|
misc-ps-region-store-i386.m
|
…
|
|
misc-ps-region-store-x86_64.m
|
…
|
|
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
|
Don't try and symbolicate unions; we don't reason
|
2011-01-25 21:08:47 +00:00 |
misc-ps-region-store.mm
|
…
|
|
misc-ps.m
|
Add test case for PR 8646.
|
2011-02-11 20:13:27 +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
|
…
|
|
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
|
…
|
|
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
|
…
|
|
pr_4164.c
|
…
|
|
properties.m
|
[analyzer] Fix crash when handling dot syntax on 'super'.
|
2011-01-27 16:17:11 +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
|
…
|
|
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
|
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
|
…
|
|
retain-release-basic-store.m
|
…
|
|
retain-release-gc-only.m
|
…
|
|
retain-release-region-store.m
|
Rework ExprEngine::processCFGBlockEntrance()
|
2011-01-11 06:37:47 +00:00 |
retain-release.m
|
Wire up attributes 'ns_consumed' and 'cf_consumed' in the static analyzer's ObjC retain/release checker.
|
2011-01-27 18:43:03 +00:00 |
security-syntax-checks-no-emit.c
|
…
|
|
security-syntax-checks.m
|
…
|
|
self-init.m
|
[analyzer] Fix a false positive of the 'self' initialization checker.
|
2011-02-05 05:54:53 +00:00 |
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
|
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
|
…
|
|
unions-region.m
|
…
|
|
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
|
Fold -fobjc-nonfragile-abi2 into -fobjc-nonfragile-abi.
|
2011-01-04 20:05:20 +00:00 |