maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Analysis
History
Anna Zaks 7e53bd6fb0 [analyzer] Run remove dead bindings right before leaving a function. 
This is needed to ensure that we always report issues in the correct
function. For example, leaks are identified when we call remove dead
bindings. In order to make sure we report a callee's leak in the callee,
we have to run the operation in the callee's context.

This change required quite a bit of infrastructure work since:
 - We used to only run remove dead bindings before a given statement;
here we need to run it after the last statement in the function. For
this, we added additional Program Point and special mode in the
SymbolReaper to remove all symbols in context lower than the current
one.
 - The call exit operation turned into a sequence of nodes, which are
now guarded by CallExitBegin and CallExitEnd nodes for clarity and
convenience.

(Sorry for the long diff.)

llvm-svn: 155244
 		2012-04-20 21:59:08 +00:00
..
CFContainers.mm Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex might not be a symbolic value. 2012-04-05 05:18:05 +00:00
CFDateGC.m Modify how the -verify flag works. Currently, the verification string and 2011-12-15 00:38:15 +00:00
CFNumber.c [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
CFRetainRelease_NSAssertionHandler.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
CGColorSpace.c [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
CheckNSError.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
MissingDealloc.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
NSPanel.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
NSString.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
NSWindow.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
NoReturn.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
OSAtomic_mac.cpp Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without 2011-04-27 05:34:09 +00:00
ObjCProperties.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
ObjCRetSigs.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
PR2599.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
PR2978.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
PR3991.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +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
PR9741.cpp Update all tests other than Driver/std.cpp to use -std=c++11 rather than 2011-10-13 22:29:44 +00:00
additive-folding-range-constraints.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
additive-folding.c [analyzer] Turn on by default the Malloc Checker and a couple of CString 2012-02-20 21:10:37 +00:00
analyzeOneFunction.m [analyzer] Test for -analyze-function on ObjectiveC to accompany r139439. 2011-09-12 17:48:08 +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 Enable warn_impcast_literal_float_to_integer by default. 2012-04-05 00:16:44 +00:00
array-struct.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
auto-obj-dtors-cfg-output.cpp [analyzer] Use recursive AST visitor to drive simple visitation order in 2012-03-13 19:32:00 +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
bool-assignment.cpp [analyzer] New checker for assignment of non-0/1 values to Boolean variables. 2012-02-11 16:32:09 +00:00
bool-assignment2.c [analyzer] New checker for assignment of non-0/1 values to Boolean variables. 2012-02-11 16:32:09 +00:00
bstring.c [analyzer] Turn on by default the Malloc Checker and a couple of CString 2012-02-20 21:10:37 +00:00
casts.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
casts.m Change the AST representation of operations on Objective-C 2011-11-06 09:01:30 +00:00
cfref_PR2519.c [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
cfref_rdar6080742.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
check-deserialization.cpp [analyzer] PCH deserialization optimization. 2012-04-12 22:36:48 +00:00
chroot.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
complex.c Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
concrete-address.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
constant-folding.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
coverage.c [analyzer] Enable retry exhausted without inlining by default. 2012-03-28 19:59:16 +00:00
cstring-syntax-cxx.cpp [analyzer] Turn on by default the Malloc Checker and a couple of CString 2012-02-20 21:10:37 +00:00
cstring-syntax.c [analyzer] Turn on by default the Malloc Checker and a couple of CString 2012-02-20 21:10:37 +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 Look through chains of 'x = y = z' when employing silencing heuristics in the DeadStoresChecker. 2012-04-04 19:58:03 +00:00
dead-stores.cpp Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
dead-stores.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
debug-CallGraph.c Add a basic CallGraph to Analysis. 2012-03-08 00:42:23 +00:00
default-analyze.m Add test case for <rdar://problem/8808566>, which is now fixed by inlining support. 2012-03-16 04:59:57 +00:00
default-diagnostic-visitors.c Add a test for checking that custom diagnostic visitors are working. 2011-08-18 19:02:46 +00:00
delegates.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +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
div-zero.cpp Address PR10616. The crash has already been fixed by Ted in r140725, so just refactor to use existing API + test case. 2011-10-01 06:35:19 +00:00
domtest.c Add source-level dominators analysis. Patch by Guoping Long! 2011-10-25 00:25:24 +00:00
dtor.cpp [analyzer] Rework inlining related command line options. 2012-03-08 23:16:35 +00:00
dtors-in-dtor-cfg-output.cpp Colorize and condense CFG pretty-printing. 2011-12-22 23:33:52 +00:00
dynamic-cast.cpp [analyzer] Another dynamic_cast false positive/negative. 2012-04-11 22:29:38 +00:00
elementtype.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
exercise-ps.c Remove the "C" in "implicitly declaring C library function" diagnostic 2012-01-27 23:21:02 +00:00
fields.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
free.c [analyzer] Turn on by default the Malloc Checker and a couple of CString 2012-02-20 21:10:37 +00:00
func.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
global-region-invalidation.c [analyzer] Be less pessimistic about invalidation of global variables 2012-01-04 23:54:01 +00:00
html-diags-multifile.c [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact diagnostics in calls into macro pieces. 2012-03-02 01:27:31 +00:00
html-diags-multifile.h [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact diagnostics in calls into macro pieces. 2012-03-02 01:27:31 +00:00
html-diags.c [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact diagnostics in calls into macro pieces. 2012-03-02 01:27:31 +00:00
idempotent-operations-limited-loops.c Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
idempotent-operations.c Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
idempotent-operations.cpp Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
idempotent-operations.m Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +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 Colorize and condense CFG pretty-printing. 2011-12-22 23:33:52 +00:00
inline-not-supported.c [analyzer] Rework inlining related command line options. 2012-03-08 23:16:35 +00:00
inline-plist.c Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode 2012-04-06 22:10:18 +00:00
inline-unique-reports.c Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode 2012-04-06 22:10:18 +00:00
inline.c [analyzer] Rework inlining related command line options. 2012-03-08 23:16:35 +00:00
inline2.c [analyzer] Rework inlining related command line options. 2012-03-08 23:16:35 +00:00
inline3.c [analyzer] Rework inlining related command line options. 2012-03-08 23:16:35 +00:00
inline4.c [analyzer] Rework inlining related command line options. 2012-03-08 23:16:35 +00:00
iterators.cpp Switch these two tests to use the Clang driver instead of CC1. They want 2011-11-05 10:15:30 +00:00
keychainAPI-diagnostic-visitor.m [analyzer] MacOSKeychainAPIChecker: Provide reacher diagnostic trace by pointing to the allocation site when reporting a leak. 2011-08-24 20:52:46 +00:00
keychainAPI.m [analyzer] Rework inlining related command line options. 2012-03-08 23:16:35 +00:00
lambdas.cpp Include lambda capture init expressions in CFG. 2012-04-12 20:34:52 +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-annotations.c [analyzer] Malloc: Utter the name of the leaked variable. 2012-03-21 19:45:08 +00:00
malloc-interprocedural.c [analyzer] Malloc: Utter the name of the leaked variable. 2012-03-21 19:45:08 +00:00
malloc-overflow.c [analyzer] Remove target triple from the malloc overflow test. 2011-09-27 20:41:53 +00:00
malloc-overflow.cpp Fix a crash in MallocOverflowSecurityChecker. Patch by Lei Zhang. 2011-09-27 22:25:01 +00:00
malloc-plist.c [analyzer] Run remove dead bindings right before leaving a function. 2012-04-20 21:59:08 +00:00
malloc-sizeof.c Add an experimental MallocSizeofChecker, which reports inconsistencies 2011-12-08 08:31:14 +00:00
malloc.c [analyzer] Malloc: Utter the name of the leaked variable. 2012-03-21 19:45:08 +00:00
malloc.cpp [analyzer] Add a malloc cpp test file. 2012-03-29 23:26:54 +00:00
malloc.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
malloc.mm [analyzer]Fix false positive: pointer might escape through CG*WithData. 2012-04-06 01:00:47 +00:00
method-arg-decay.m After numerous requests, have Objective-C 'method declared here' notes mention the actual method. This looks better within an IDE, where text isn't always regurgitated in the presentation of a warning. Fixes radar 10914035. 2012-02-27 22:55:11 +00:00
method-call-intra-p.cpp [analyzer] Do not invalidate arguments when the parameter's 2011-12-20 22:35:30 +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] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps-cxx0x.cpp Do not crash in the callgraph construction when encountering deleted function definitions. Fixes <rdar://problem/11178609>. 2012-04-05 04:03:23 +00:00
misc-ps-eager-assume.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps-ranges.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps-region-store-i386.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps-region-store-x86_64.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
misc-ps-region-store.cpp Handle symbolicating a reference in an initializer expression that we don't understand. 2012-04-05 05:56:31 +00:00
misc-ps-region-store.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
misc-ps-region-store.mm Add analyzer test for using of C++ references with ObjC object pointers, reported in <rdar://problem/10569024>. 2012-02-18 21:27:25 +00:00
misc-ps.c Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586> 2012-02-21 00:46:29 +00:00
misc-ps.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
new.cpp Revert "Revert "Make CXXNewExpr contain only a single initialier, and not hold the used constructor itself."" 2012-02-16 12:22:20 +00:00
nil-receiver-undefined-larger-than-voidptr-ret-region.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
no-exit-cfg.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
no-outofbounds.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
null-deref-ps-region.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
null-deref-ps.c [frontend] Don't allow a mapping to a warning override an error/fatal mapping. 2012-02-03 01:49:51 +00:00
nullptr.cpp Reapply r152745 (reverted in 152765) now that compiler-rt is fixed. 2012-03-15 04:50:32 +00:00
objc-arc.m "Teach" RetainCountChecker about dispatch_set_context, which can indirectly free its argument later. Fixes <rdar://problem/11059275>. 2012-03-22 06:29:41 +00:00
objc-bool.m Fix tests that weren't actually verifying anything. 2012-04-15 22:09:44 +00:00
objc-method-coverage.m [analyzer] PCH deserialization optimization. 2012-04-12 22:36:48 +00:00
operator-calls.cpp [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
out-of-bounds.c [analyzer] Remove all uses of ConstraintManager::canResonAbout() from 2011-12-05 18:58:25 +00:00
outofbound-notwork.c Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) 2011-08-23 20:30:50 +00:00
outofbound.c Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) 2011-08-23 20:30:50 +00:00
override-werror.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
plist-output-alternate.m Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode 2012-04-06 22:10:18 +00:00
plist-output.m Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode 2012-04-06 22:10:18 +00:00
pr4209.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
pr_2542_rdar_6793404.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
pr_4164.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
properties.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
pthreadlock.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
ptr-arith.c Teach SimpleSValBuilder that (in the absence of more information) stack memory doesn't alias symbolic memory. This is a heuristic/hack, but works well in practice. Fixes <rdar://problem/10978247>. 2012-03-05 23:06:19 +00:00
rdar-6442306-1.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
rdar-6540084.m Use Sema::RequireCompleteType to check for the completeness of 2011-11-14 22:10:01 +00:00
rdar-6541136-region.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
rdar-6562655.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
rdar-7168531.m Make -fobjc-nonfragile-abi the -cc1 default, since it's the 2011-10-02 01:16:38 +00:00
redefined_system.c [analyzer] Fixup for a test case. 2012-04-16 21:51:03 +00:00
refcnt_naming.m [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. 2011-09-02 05:55:19 +00:00
reference.cpp Switch PerformImplicitConversion over to use DefaultLvalueConversion for lvalue-to-rvalue conversion. 2012-01-24 22:51:26 +00:00
region-1.m [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
retain-release-gc-only.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
retain-release-inline.m Avoid applying retain/release effects twice in RetainCountChecker when a function call was inlined (i.e., we do not need to apply summaries in such cases). 2012-03-23 06:26:56 +00:00
retain-release-path-notes-gc.m Modify how the -verify flag works. Currently, the verification string and 2011-12-15 00:38:15 +00:00
retain-release-path-notes.m [analyzer] Don't claim an object was returned with +1 retain count before counting autoreleases. Fixes PR10376. 2012-03-17 05:49:15 +00:00
retain-release-region-store.m Change RetainCountChecker to eagerly "escape" retained objects when they are 2012-03-27 01:12:45 +00:00
retain-release.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
retain-release.mm [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert. 2012-03-30 05:48:16 +00:00
security-syntax-checks-no-emit.c Turn 'SecuritySyntaxChecker' into a "meta" security checker for insecure APIs. Now 2012-01-20 01:44:29 +00:00
security-syntax-checks.m [analyzer] Change the warning to suggest 'strlcat/strlcpy' as 2012-01-31 19:33:31 +00:00
self-init.m [analyzer] Fix a false alarm in SelfInitChecker (radar://11235991). 2012-04-16 21:51:09 +00:00
sizeofpointer.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
stack-addr-ps.c Teach analyzer that blocks with no captures are globals. Fixes <rdar://problem/10348049>. 2012-02-18 22:41:01 +00:00
stack-addr-ps.cpp Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. 2011-10-02 00:54:48 +00:00
stack-block-returned.cpp Handle CXXTempObjectRegion in StackAddrEscapeChecker. 2011-08-26 00:41:31 +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
stats.c [analyzer] Record the basic blocks covered by the analyzes run. 2012-04-03 02:05:47 +00:00
stream.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
string-fail.c [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. 2011-08-03 23:14:55 +00:00
string.c [analyzer] Turn on by default the Malloc Checker and a couple of CString 2012-02-20 21:10:37 +00:00
system-header-simulator-objc.h [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert. 2012-03-30 05:48:16 +00:00
system-header-simulator.h [analyzer] Malloc: A pointer might escape through CFContainers APIs, 2012-02-29 18:42:47 +00:00
taint-generic.c [analyzer] Change naming in bug reports "tainted" -> "untrusted" 2012-02-22 02:35:58 +00:00
taint-tester.c [analyzer] Add more C taint sources/sinks. 2012-01-24 19:32:25 +00:00
taint-tester.cpp [analyzer] Add more C taint sources/sinks. 2012-01-24 19:32:25 +00:00
taint-tester.m [analyzer] It's possible to have a non PointerType expression evaluate to a Loc value. When this happens, use the default type. 2012-01-21 06:59:01 +00:00
temp-obj-dtors-cfg-output.cpp Add elidable CXXConstructExpr as block-level expr. It converts an lvalue to a rvalue, which is a useful step during AST evaluation. 2012-01-11 02:39:07 +00:00
undef-buffers.c [analyzer] Fix a failure encountered while analyzing bind (radar://10105448). 2011-09-12 18:07:30 +00:00
uninit-msg-expr.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
uninit-ps-rdar6145427.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
uninit-vals-ps-region.m Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. 2012-01-20 06:00:17 +00:00
uninit-vals-ps.c Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +00:00
uninit-vals.m Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. 2011-07-28 23:08:16 +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 "This change adds alloca/valloc checks to UnixAPIChecker. It includes a small refactoring for 2012-01-11 08:13:21 +00:00
unreachable-code-path.c [analyzer] Tweak the UnreachableCode checker to not warning about unreachable default blocks. Patch by Cyril Roelandt! 2012-02-29 06:05:28 +00:00
unused-ivars.m Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. 2012-04-06 18:12:22 +00:00
variadic-method-types.m [analyzer] Check that the arguments to NSOrderedSet creation methods are valid ObjC objects. 2012-04-06 19:06:01 +00:00
virtualcall.cpp Add initial version of checker to check if virtual member functions are called transitively 2012-01-03 23:18:57 +00:00