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
Jordan Rose 4688e60861 [analyzer] Be careful about implicitly-declared operator new/delete. (PR13090) 
The implicit global allocation functions do not have valid source locations,
but we still want to treat them as being "system header" functions for the
purposes of how they affect program state.

llvm-svn: 159160
 		2012-06-25 20:48:28 +00:00
..
diagnostics PlistDiagnostics: force the ranges for control-flow edges to be single locations, forcing 2012-06-05 22:00:52 +00:00
engine [analyzer] Fix a spurious undef value warning. 2012-06-01 23:48:44 +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 Sink definition of IBOutlet, IBOutletCollection, and IBAction into 2012-06-19 00:37:39 +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] Check for +raise:format: on subclasses of NSException as well. 2012-06-22 17:15:58 +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
PR12905.c Analyzer: Fix PR12905, a crash when encountering a call to a function named "C". 2012-05-21 19:40:38 +00:00
additive-folding-range-constraints.c [analyzer] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +00:00
additive-folding.cpp [analyzer] Fix test for PR12206, which was failing on i386. 2012-05-16 20:29:44 +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 [analyzer] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +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 [analyzer] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +00:00
blocks.m static analyzer: add inlining support for directly called blocks. 2012-06-01 20:04:04 +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] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +00:00
casts.c [analyzer] Exit early if constraint solver is given a non-integer symbol 2012-05-10 21:49:52 +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
comparison-implicit-casts.cpp Add triples for test. 2012-05-16 21:13:36 +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] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +00:00
coverage.c [analyzer] Fix lack of coverage after empty inlined function. 2012-06-01 23:48:40 +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 [analyzer] Array CompoundLiteralExprs need to be treated like lvalues. 2012-06-16 01:28:03 +00:00
cxx11-crashes.cpp [analyzer] Don't crash on LValBitCast 2012-05-25 16:02:16 +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 [analyzer] Add a test for dead stores, which uses OpaqueValExpr. 2012-05-15 23:12:53 +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] RetainCount: don't track objects init'd with a delegate 2012-06-15 18:19:52 +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] Introduce clang_analyzer_eval for regression test constraint checks. 2012-05-16 16:01:07 +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] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +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 [analyzer] Add experimental "issue hash" to the plist diagnostic. 2012-06-08 00:04:43 +00:00
inline-unique-reports.c PlistDiagnostics: force the ranges for control-flow edges to be single locations, forcing 2012-06-05 22:00:52 +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 Implement initial static analysis inlining support for C++ methods. 2012-06-22 23:55:50 +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: Warn about use-after-free when memory ownership was 2012-06-22 02:04:31 +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] Add experimental "issue hash" to the plist diagnostic. 2012-06-08 00:04:43 +00:00
malloc-sizeof.c [analyzer] MallocSizeofChecker false positive: when sizeof is argument 2012-06-08 18:44:43 +00:00
malloc.c [analyzer] Malloc leak false positive: Allow xpc context to escape. 2012-06-20 23:35:57 +00:00
malloc.cpp [analyzer] One more pointer escape test. 2012-05-04 22:18:36 +00:00
malloc.m [analyzer] Allow pointers escape through calls containing callback args. 2012-05-03 23:50:28 +00:00
malloc.mm [analyzer] Teach malloc checker that initWith[Bytes|Characters}NoCopy 2012-06-22 22:42:30 +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] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +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-arm.m Having RegionStore lower field bindings to raw offsets, just like ElementRegions. This is a bit 2012-05-08 21:49:54 +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 Implement initial static analysis inlining support for C++ methods. 2012-06-22 23:55:50 +00:00
misc-ps-region-store.m Explicitly model capturing variables for blocks in the static analyzer. Fixes <rdar://problem/11125868>. 2012-05-04 21:48:42 +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 [analyzer] Fix a crash in triggered by OSAtomicChecker. 2012-05-07 19:40:49 +00:00
new.cpp [analyzer] Be careful about implicitly-declared operator new/delete. (PR13090) 2012-06-25 20:48:28 +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 Use a deque instead of an ImmutableList in AnalysisConsumer to preserve the file order that functions are visited. Should fix the buildbots. 2012-04-27 04:54:28 +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 Replace inline asm constraint "=a" by the more general constraint "=r". 2012-05-22 11:03:10 +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-boxing.m [analyzer] Test objC boxing. 2012-05-11 23:15:16 +00:00
objc-for.m [analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil. 2012-06-11 16:40:41 +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] Rework both constraint managers to handle mixed-type comparisons. 2012-05-08 03:27:16 +00:00
outofbound-notwork.c [analyzer] Fix RUN lines for old XFAIL tests, one of which actually works. 2012-05-16 16:01:14 +00:00
outofbound.c [analyzer] Add buffer overflow test case. 2012-05-11 23:15:11 +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 [analyzer] Add experimental "issue hash" to the plist diagnostic. 2012-06-08 00:04:43 +00:00
plist-output.m [analyzer] Add experimental "issue hash" to the plist diagnostic. 2012-06-08 00:04:43 +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 [analyzer] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +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 Restructure how the driver communicates information about the 2012-06-20 06:18:46 +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 [analyzer] Fix RUN lines for old XFAIL tests, one of which actually works. 2012-05-16 16:01:14 +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
region-store.c [analyzer] We currently do not fully support CompoundLiterals in 2012-05-08 23:40:38 +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] RetainCountChecker: track ObjC boxed expression objects. 2012-05-12 05:10:43 +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 Add a warning about almost-Doxygen trailing comments: //< and /*< ... */ 2012-06-22 16:02:55 +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] SelfInit: Stop tracking self if it's assigned a value we 2012-05-08 21:19:21 +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 When going through references to check if the function returns the address 2012-04-30 23:23:55 +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] Convert many existing tests to use clang_analyzer_eval. 2012-05-16 16:01:10 +00:00
string.c [analyzer] Fix test for PR12206, which was failing on i386. 2012-05-16 20:29:44 +00:00
svalbuilder-logic.c [analyzer] Fix an assertion failure triggered by the analyzer buildbot. 2012-05-02 00:05:23 +00:00
system-header-simulator-objc.h [analyzer] Fixup to r158958. 2012-06-22 22:08:09 +00:00
system-header-simulator.h [analyzer] Malloc leak false positive: Allow xpc context to escape. 2012-06-20 23:35:57 +00:00
taint-generic.c [analyzer] Do not assert on constructing SymSymExpr with diff types. 2012-05-03 02:13:53 +00:00
taint-tester.c Having RegionStore lower field bindings to raw offsets, just like ElementRegions. This is a bit 2012-05-08 21:49:54 +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
templates.cpp [analyzer] Fix a crash in templated code which uses blocks. 2012-05-14 22:38:24 +00:00
test-variably-modified-types.c [analyzer] Test variable modified types. 2012-05-11 23:34:14 +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-sometimes.cpp In response to some discussions on IRC, tweak the wording of the new 2012-05-26 06:20:46 +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 [analyzer] Fix a regression in ObjCUnusedIVars checker. 2012-05-15 22:31:56 +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