Artem Dergachev 9d3ca9a5ae [analyzer] Fix zero-initialization of stack VLAs under ObjC ARC. ... Using ARC, strong, weak, and autoreleasing stack variables are implicitly initialized with nil. This includes variable-length arrays of Objective-C object pointers. However, in the analyzer we don't zero-initialize them. We used to, but it accidentally regressed after r289618. Under ARC, the array variable's initializer within DeclStmt is an ImplicitValueInitExpr. Environment doesn't maintain any bindings for this expression kind - instead it always knows that it's a known constant (0 in our case), so it just returns the known value by calling SValBuilder::makeZeroVal() (see EnvironmentManager::getSVal(). Commit r289618 had introduced reasonable behavior of SValBuilder::makeZeroVal() for the arrays, which produces a zero-length compoundVal{}. When such value is bound to arrays, in RegionStoreManager::bindArray() "remaining" items in the array are default-initialized with zero, as in RegionStoreManager::setImplicitDefaultValue(). The similar mechanism works when an array is initialized by an initializer list that is too short, eg. int a[3] = { 1, 2 }; would result in a[2] initialized with 0. However, in case of variable-length arrays it didn't know if any more items need to be added, because, well, the length is variable. Add the default binding anyway, regardless of how many actually need to be added. We don't really care how many, because the default binding covers the whole array anyway. Differential Revision: https://reviews.llvm.org/D41478 rdar://problem/35477763 llvm-svn: 321290		2017-12-21 18:43:02 +00:00
..
Inputs	[analyzer] Initial commit for the upcoming refactoring of the IteratorChecker.	2017-05-29 15:03:20 +00:00
copypaste	[analyzer] Increase minimum complexity filter of the CloneChecker.	2017-09-04 05:56:36 +00:00
diagnostics	[Analyzer] Add support for displaying cross-file diagnostic paths in HTML output	2017-08-03 18:12:22 +00:00
engine	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
inlining	[analyzer] De-duplicate path diagnostics for each exploded graph node.	2017-12-20 01:17:53 +00:00
objc	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
CFContainers-invalid.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
CFContainers.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
CFDateGC.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
CFNumber.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
CFRetainRelease_NSAssertionHandler.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
CGColorSpace.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
CheckNSError.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
DeallocMissingRelease.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
DeallocUseAfterFreeErrors.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
DeleteWithNonVirtualDtor.cpp	[analyzer] Add new delete with non-virtual destructor check	2017-09-22 10:16:33 +00:00
DynamicTypePropagation.m	[analyzer] Fix a crash when an ObjC object is constructed in AllocaRegion.	2017-06-12 17:59:50 +00:00
MPIMock.h	[analyzer] Add checker to verify the correct usage of the MPI API	2016-06-13 03:22:41 +00:00
Malloc+MismatchedDeallocator+NewDelete.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
Malloc+MismatchedDeallocator_intersections.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
Malloc+NewDelete_intersections.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
MemRegion.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
MismatchedDeallocator-checker-test.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
MismatchedDeallocator-path-notes.cpp	[analyzer] Fix memory error bug category capitalization.	2017-05-03 11:47:13 +00:00
MissingDealloc.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
MisusedMovedObject.cpp	[analyzer] MisusedMovedObjectChecker: More precise warning message	2017-10-28 23:24:00 +00:00
NSContainers.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
NSPanel.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
NSString.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
NSWindow.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
NewDelete+MismatchedDeallocator_intersections.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
NewDelete-checker-test.cpp	[analyzer] Clarify 'uninitialized function argument' messages	2017-03-08 15:22:24 +00:00
NewDelete-custom.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
NewDelete-intersections.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
NewDelete-path-notes.cpp	[analyzer] Fix memory error bug category capitalization.	2017-05-03 11:47:13 +00:00
NewDelete-variadic.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
NewDeleteLeaks-PR18394.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
NewDeleteLeaks-PR19102.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
NoReturn.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
OSAtomic_mac.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
ObjCProperties.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
ObjCPropertiesSyntaxChecks.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
ObjCRetSigs.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
PR2599.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
PR2978.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
PR3991.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
PR7218.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
PR9741.cpp	…
PR12905.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
PR24184.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
additive-folding-range-constraints.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
additive-folding.cpp	[analyzer] Simplify values in binary operations a bit more aggressively.	2017-04-13 07:20:04 +00:00
analyzeOneFunction.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
analyzer-checker-config.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
analyzer-config.c	[CFG] Add LoopExit information to CFG	2017-08-19 11:19:16 +00:00
analyzer-config.cpp	[CFG] Add LoopExit information to CFG	2017-08-19 11:19:16 +00:00
analyzer-display-progress.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
analyzer-display-progress.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
analyzer-enabled-checkers.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
analyzer-stats.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
analyzer_test.py	Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"	2017-07-12 21:43:42 +00:00
arc-zero-init.m	[analyzer] Fix zero-initialization of stack VLAs under ObjC ARC.	2017-12-21 18:43:02 +00:00
array-struct-region.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
array-struct-region.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
array-struct.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
atomics.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
auto-obj-dtors-cfg-output.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
base-init.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
bitwise-ops.c	[analyzer] Left shifting a negative value is undefined	2017-10-30 17:06:42 +00:00
block-in-critical-section.cpp	[analyzer] lock_guard and unique_lock extension for BlockInCriticalSection checker	2017-10-30 10:09:55 +00:00
block-in-critical-section.m	Add missing expected-no-diagnostics comment to test.	2017-10-30 09:01:48 +00:00
blocks-no-inline.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
blocks.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
blocks.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
bool-assignment.c	Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"	2017-07-12 21:43:42 +00:00
bstring.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
bstring.cpp	[analyzer] CStringChecker: pr34460: Avoid a crash when a cast is not modeled.	2017-10-13 20:11:00 +00:00
bug_hash_test.cpp	[analyzer] Use the signature of the primary template for issue hash calculation	2017-10-30 12:16:07 +00:00
bug_hash_test.m	[analyzer] Make issue hash related tests more concise	2017-10-30 12:02:23 +00:00
builtin-functions.cpp	[analyzer] Do not continue to analyze a path if the constraints contradict with builtin assume	2017-06-22 10:09:40 +00:00
builtin_signbit.cpp	Fix __builtin_signbit for ppcf128 type	2015-11-06 14:52:46 +00:00
call-invalidation.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
call_once.cpp	[analyzer] do not crash on libcxx03 call_once implementation	2017-11-03 00:36:03 +00:00
cast-to-struct.cpp	[analyzer] Fix crashes in CastToStruct checker for undefined structs	2017-03-07 19:20:48 +00:00
castexpr-callback.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
casts.c	[analyzer] CStringChecker: pr34460: Avoid a crash when a cast is not modeled.	2017-10-13 20:11:00 +00:00
casts.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
casts.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
cfg-indirect-goto-determinism.cpp	[Analyzer] Stable iteration on indirect goto LabelDecl's to avoid non-determinism (attempt 2)	2017-11-21 11:27:47 +00:00
cfg.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
cfref_PR2519.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
cfref_rdar6080742.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
check-deserialization.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
checker-plugins.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
chroot.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
comparison-implicit-casts.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
complex-init-list.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
complex.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
compound-literals.c	[analyzer] pr28449: Fix support for various array initializers.	2017-10-13 20:54:56 +00:00
concrete-address.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
conditional-operator.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
conditional-path-notes.c	Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"	2017-07-12 21:43:42 +00:00
const-method-call.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
constant-folding.c	[analyzer] assume bitwise arithmetic axioms	2017-11-09 19:06:22 +00:00
conversion.c	[Sema] Re-land: Diagnose tautological comparison with type's min/max values	2017-10-15 20:13:17 +00:00
coverage.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
crash-trace.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
cstring-syntax-cxx.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
cstring-syntax.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
ctor.mm	[analyzer] Fix autodetection of binding types.	2017-10-04 15:59:40 +00:00
cxx-crashes.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
cxx-for-range-cfg.cpp	…
cxx-for-range.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
cxx-method-names.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
cxx11-crashes.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
dead-stores.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
dead-stores.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
dead-stores.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
debug-CallGraph.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
default-analyze.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
default-diagnostic-visitors.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
delayed-template-parsing-crash.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
delegates.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
derived-to-base.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
designated-initializer.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
disable-all-checks.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
dispatch-once.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
div-zero.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
division-by-zero.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
domtest.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
dtor-cxx11.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
dtor.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
dtors-in-dtor-cfg-output.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
dynamic-cast.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
dynamic_type_check.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
edges-new.mm	[analyzer] Use the signature of the primary template for issue hash calculation	2017-10-30 12:16:07 +00:00
elementtype.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
enum.cpp	[analyzer] Start fixing modeling of bool based types	2017-07-11 00:30:14 +00:00
exceptions.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
exercise-ps.c	[analyzer] Fix autodetection of binding types.	2017-10-04 15:59:40 +00:00
explain-svals.c	[analyzer] Improve usability of ExprInspectionChecker	2017-03-09 00:01:10 +00:00
explain-svals.cpp	Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"	2017-07-12 21:43:42 +00:00
explain-svals.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
expr-inspection.c	[analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctly	2017-10-19 11:58:21 +00:00
fields.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
free.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
func-mapping-test.cpp	Add Cross Translation Unit support library	2017-09-22 11:11:01 +00:00
func.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
generics.m	[analyzer] ObjCGenerics: Don't warn on cast conversions involving explicit cast	2017-11-13 17:35:29 +00:00
global-region-invalidation.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
global_region_invalidation.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
gmalloc.c	[analyzer] Teach the MallocChecker about Glib API for two arguments	2017-04-26 05:33:14 +00:00
gtest.cpp	[analyzer] Fix autodetection of binding types.	2017-10-04 15:59:40 +00:00
html-diag-singlefile.c	[Analyzer] Add support for displaying cross-file diagnostic paths in HTML output	2017-08-03 18:12:22 +00:00
html-diag-singlefile.h	[Analyzer] Add support for displaying cross-file diagnostic paths in HTML output	2017-08-03 18:12:22 +00:00
html-diags-analyze-headers.c	[Analyzer] Add support for displaying cross-file diagnostic paths in HTML output	2017-08-03 18:12:22 +00:00
html-diags-analyze-headers.h	[Analyzer] Add support for displaying cross-file diagnostic paths in HTML output	2017-08-03 18:12:22 +00:00
html-diags-multifile.c	[Analyzer] Add support for displaying cross-file diagnostic paths in HTML output	2017-08-03 18:12:22 +00:00
html-diags-multifile.h	…
html-diags.c	Fixup for r310950: Also remove the new instance of %T from html-diags.c	2017-08-15 19:54:04 +00:00
identical-expressions.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
index-type.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
initializer.cpp	[analyzer] Fix a crash during C++17 aggregate construction of base objects.	2017-12-20 00:40:38 +00:00
initializers-cfg-output.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
inline-not-supported.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
inline-plist.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
inline-unique-reports.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
inline.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
inline.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
inline2.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
inline3.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
inline4.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
iterator-range.cpp	[analyzer] Initial commit for the upcoming refactoring of the IteratorChecker.	2017-05-29 15:03:20 +00:00
ivars.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
keychainAPI-diagnostic-visitor.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
keychainAPI.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
kmalloc-linux.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
lambda-notes.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
lambdas-generalized-capture.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
lambdas.cpp	[analyzer] Don't treat lambda-captures float constexprs as undefined	2017-12-04 04:46:47 +00:00
lambdas.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
lifetime-cfg-output.cpp	CFG: Add CFGElement for automatic variables that leave the scope	2017-07-12 07:04:19 +00:00
lifetime-extension.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
lit.local.cfg	[lit] Fix Analysis test format pickling error	2017-04-05 18:56:48 +00:00
live-variables.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
live-variables.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
localization-aggressive.m	[analyzer] Add annotation for functions taking user-facing strings	2017-07-14 10:24:36 +00:00
localization.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
logical-ops.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
loop-unrolling.cpp	[analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943)	2017-10-28 12:19:08 +00:00
loop-widening-notes.cpp	[analyzer] Fix unreachable creating PathDiagnosticLocation with widen-loops=true	2017-11-29 18:25:37 +00:00
loop-widening.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
loopexit-cfg-output.cpp	[CFG] Add LoopExit information to CFG	2017-08-19 11:19:16 +00:00
lvalue.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc-annotations.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc-custom.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc-interprocedural.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc-overflow.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc-overflow.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc-overflow2.c	[analyzer] Move zero-size allocation checks to optin.portability.	2017-06-27 11:14:39 +00:00
malloc-plist.c	[analyzer] Fix false negative on post-increment of uninitialized variable.	2017-11-30 09:18:35 +00:00
malloc-protoype.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc-sizeof.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc-sizeof.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc-three-arg.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc.c	[analyzer] Detect bad free of function pointers	2017-05-02 11:46:12 +00:00
malloc.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
malloc.m	[analyzer] Clarify 'uninitialized function argument' messages	2017-03-08 15:22:24 +00:00
malloc.mm	Implement C++ [basic.link]p8.	2017-09-20 07:22:00 +00:00
max-nodes-suppress-on-sink.c	[analyzer] Further improve suppress-on-sink behavior in incomplete analyses.	2017-07-25 09:25:10 +00:00
max-nodes-suppress-on-sink.cpp	[analyzer] Treat throws as sinks for suppress-on-sink purposes.	2017-07-25 09:44:02 +00:00
member-expr.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
method-arg-decay.m	…
method-call-intra-p.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
method-call-path-notes.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
method-call.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps-64.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps-arm.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps-cxx0x.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps-eager-assume.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps-ranges.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps-region-store-i386.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps-region-store-x86_64.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps-region-store.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps-region-store.m	[analyzer] Clarify 'uninitialized function argument' messages	2017-03-08 15:22:24 +00:00
misc-ps-region-store.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
misc-ps.m	[analyzer] Clarify 'uninitialized function argument' messages	2017-03-08 15:22:24 +00:00
model-file.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
mpichecker.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
mpicheckernotes.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
new-with-exceptions.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
new.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
nil-receiver-undefined-larger-than-voidptr-ret-region.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
no-exit-cfg.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
no-outofbounds.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
no-unreachable-dtors.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
non-diagnosable-assumptions.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
nonnull-global-constants.mm	[Analyzer] Assume that CFBooleanRef const globals are non-null	2017-10-13 00:51:41 +00:00
nonnull.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
null-deref-offsets.c	[analyzer] Improve subscripting null arrays for catching null dereferences.	2017-04-24 20:55:07 +00:00
null-deref-path-notes.c	[analyzer] Fix an outdated comment in a test. NFC.	2017-09-27 10:59:06 +00:00
null-deref-path-notes.cpp	[analyzer] Fix and refactor bugreporter::getDerefExpr() API.	2017-09-27 09:33:37 +00:00
null-deref-path-notes.m	[analyzer] Fix and refactor bugreporter::getDerefExpr() API.	2017-09-27 09:33:37 +00:00
null-deref-ps-region.c	[analyzer] Check NULL pointer dereference issue for memset function	2017-06-20 06:41:06 +00:00
null-deref-ps.c	[Sema] Re-land: Diagnose tautological comparison with type's min/max values	2017-10-15 20:13:17 +00:00
null-deref-static.m	[analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks.	2017-01-25 10:21:45 +00:00
nullability-no-arc.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
nullability-notes.m	[analyzer] Don't add arrow to the inlined function's decl when it has no body.	2017-06-05 13:36:28 +00:00
nullability.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
nullability.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
nullability_nullonly.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
nullptr.cpp	[analyzer] trackNullOrUndefValue: track last store to non-variables.	2017-12-20 00:47:17 +00:00
number-object-conversion.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
number-object-conversion.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
number-object-conversion.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
objc-arc.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
objc-bool.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
objc-boxing.m	[analyzer] Fix leak false positives on stuff put in C++/ObjC initializer lists.	2017-10-05 08:43:32 +00:00
objc-encode.m	[analyzer] pr28449: Fix support for various array initializers.	2017-10-13 20:54:56 +00:00
objc-for.m	[analyzer] Fix false negative on post-increment of uninitialized variable.	2017-11-30 09:18:35 +00:00
objc-message.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
objc-method-coverage.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
objc-properties.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
objc-radar17039661.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
objc-string.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
objc-subscript.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
objc_invalidation.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
openmp-unsupported.c	[Analyzer] Terminate analysis on OpenMP code instead of assertion crash	2017-03-03 16:58:53 +00:00
operator-calls.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
out-of-bounds-new.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
out-of-bounds.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
outofbound-notwork.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
outofbound.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
override-werror.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
padding_c.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
padding_cpp.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
padding_message.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
plist-html-macros.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
plist-macros.cpp	Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"	2017-07-12 21:43:42 +00:00
plist-output-alternate.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
plist-output.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
pointer-arithmetic.c	[analyzer] Implement pointer arithmetic on constants	2017-10-10 11:01:49 +00:00
pointer-to-member.cpp	[analyzer] pr34404: Fix a crash on modeling pointers to indirect members.	2017-11-27 17:31:16 +00:00
pr4209.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
pr22954.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
pr_2542_rdar_6793404.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
pr_4164.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
properties.m	[analyzer] Add a check for IvarRegion in getExtraInvalidatedValues	2017-04-12 22:00:13 +00:00
properties.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
pthreadlock.c	[analyzer] PthreadLockChecker: model failed pthread_mutex_destroy() calls.	2017-05-29 14:51:39 +00:00
ptr-arith.c	[analyzer] Fix handling of labels in getLValueElement	2017-10-23 23:46:06 +00:00
ptr-arith.cpp	[analyzer] Fix crash on modeling of pointer arithmetic	2017-09-25 19:32:33 +00:00
qt_malloc.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
range_casts.c	Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"	2017-07-12 21:43:42 +00:00
rdar-6442306-1.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
rdar-6540084.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
rdar-6541136-region.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
rdar-6562655.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
rdar-7168531.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
redefined_system.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
refcnt_naming.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
reference.cpp	Implement C++ [basic.link]p8.	2017-09-20 07:22:00 +00:00
reference.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
region-1.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
region-store.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
region-store.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
reinterpret-cast.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
retain-release-arc.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
retain-release-cache-out.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
retain-release-cf-audited.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
retain-release-gc-only.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
retain-release-inline.m	[analyzer] Add support for reference counting of parameters on the callee side	2017-08-17 04:19:07 +00:00
retain-release-path-notes-gc.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
retain-release-path-notes.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
retain-release-region-store.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
retain-release-safe.c	[analyzer] RetainCount: Ignore annotations on user-made CFRetain wrappers.	2017-10-13 19:10:42 +00:00
retain-release.m	[analyzer] Teach RetainCountChecker about CoreMedia APIs	2017-11-25 14:57:42 +00:00
retain-release.mm	[Analyzer] Re-apply r314820 with a fix for StringRef lifetime.	2017-10-03 23:15:35 +00:00
return-ptr-range.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
security-syntax-checks-no-emit.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
security-syntax-checks.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
self-assign.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
self-init.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
shallow-mode.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
simple-stream-checks.c	Correcting a typo; NFC.	2017-03-30 18:11:20 +00:00
sizeofpointer.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
stack-addr-ps.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
stack-addr-ps.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
stack-block-returned.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
stack-capture-leak-arc.mm	[analyzer] StackAddrEscape: For now, disable the new async escape checks.	2017-12-12 02:59:09 +00:00
stack-capture-leak-no-arc.mm	[analyzer] StackAddrEscape: For now, disable the new async escape checks.	2017-12-12 02:59:09 +00:00
stackaddrleak.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
static_local.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
stats.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
std-c-library-functions.c	Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"	2017-07-12 21:43:42 +00:00
std-c-library-functions.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
stream.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
string-fail.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
string-with-signedness.c	[analyzer] pr34779: CStringChecker: Accept non-standard headers.	2017-11-07 10:51:15 +00:00
string.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
superclass.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
svalbuilder-logic.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
switch-case.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
symbol-reaper.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
taint-diagnostic-visitor.c	[analyzer] Add bug visitor for taint checker.	2017-03-09 00:01:07 +00:00
taint-generic.c	[analyzer] Support partially tainted records.	2017-05-29 15:42:56 +00:00
taint-tester.c	[analyzer] do not crash when trying to convert an APSInt to an unexpected type	2017-11-09 21:49:38 +00:00
taint-tester.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
taint-tester.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
temp-obj-dtors-cfg-output.cpp	PR35039: Materialize temporary objects before wrapping them in an	2017-10-28 18:59:51 +00:00
templates.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
temporaries-callback-order.cpp	[analyzer] When creating a temporary object, properly copy the value into it.	2017-03-28 15:43:26 +00:00
temporaries.cpp	[analyzer] When creating a temporary object, properly copy the value into it.	2017-03-28 15:43:26 +00:00
test-after-div-zero.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
test-include-cpp.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
test-include-cpp.h	[static analyzer] Analyzer is skipping forward declared C/C++ functions	2015-06-26 17:42:58 +00:00
test-include.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
test-include.h	[static analyzer] Analyzer is skipping forward declared C/C++ functions	2015-06-26 17:42:58 +00:00
test-objc-non-nil-return-value-checker.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
test-variably-modified-types.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
traversal-algorithm.mm	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
traversal-begin-end-function.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
traversal-path-unification.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
ubigraph-viz.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
undef-buffers.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
uninit-const.c	[analyzer] Fix false negative on post-increment of uninitialized variable.	2017-11-30 09:18:35 +00:00
uninit-const.cpp	[analyzer] trackNullOrUndefValue: always track through parentheses and casts.	2017-12-20 01:03:22 +00:00
uninit-msg-expr.m	[analyzer] Clarify 'uninitialized function argument' messages	2017-03-08 15:22:24 +00:00
uninit-ps-rdar6145427.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
uninit-sometimes.cpp	…
uninit-vals-ps-region.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
uninit-vals-ps.c	[analyzer] Clarify 'uninitialized function argument' messages	2017-03-08 15:22:24 +00:00
uninit-vals-union.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
uninit-vals.cpp	[analyzer] Clarify 'uninitialized function argument' messages	2017-03-08 15:22:24 +00:00
uninit-vals.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
unions-region.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
unions.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
unix-api.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
unix-api.cpp	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
unix-fns.c	[analyzer] Model correct dispatch_once() 'done' value in BodyFarm	2017-11-06 22:12:19 +00:00
unreachable-code-path.c	[StaticAnalyzer] Fix false positives for unreachable code in macros.	2017-08-02 08:26:56 +00:00
unsupported-types.c	[analyzer] Add new Z3 constraint manager backend	2017-04-04 19:52:25 +00:00
unused-ivars.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
valist-as-lazycompound.c	[analyzer] Fix a rare crash for valist check.	2017-03-13 12:48:26 +00:00
valist-uninitialized-no-undef.c	[analyzer] Fix a rare crash for valist check.	2017-03-13 12:48:26 +00:00
valist-uninitialized.c	[analyzer] Improve valist checks and move it out from alpha state.	2017-03-07 16:04:23 +00:00
valist-unterminated.c	[analyzer] Improve valist checks and move it out from alpha state.	2017-03-07 16:04:23 +00:00
variadic-method-types.m	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
vector.m	[analyzer] do not crash on cases where an array subscript is an rvalue	2017-12-05 21:19:59 +00:00
vfork.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
virtualcall.cpp	[analyzer] Fix an assertion fail in VirtualCallChecker	2017-09-21 08:18:59 +00:00
virtualcall.h	[analyzer][GSoC] Re-implemente current virtual calls checker in a path-sensitive way	2017-08-28 08:44:43 +00:00
vla.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00
weak-functions.c	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers	2017-03-03 18:02:02 +00:00