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
Artem Dergachev f74ef4b1e6 [analyzer] Fix invalidation on C++ const methods with arrow syntax. 
Conservative evaluation of a C++ method call would invalidate the object,
as long as the method is not const or the object has mutable fields.

When checking for mutable fields, we need to scan the type of the object on
which the method is called, which may be more specific than the type of the
object on which the method is defined, hence we look up the type from the
this-argument expression.

If arrow syntax or implicit-this syntax is used, this-argument expression
has pointer type, not record type, and lookup accidentally failed for that
reason. Obtain object type correctly.

Differential Revision: https://reviews.llvm.org/D48460

llvm-svn: 335555
 		2018-06-25 23:43:45 +00:00
..
Inputs [analyzer] Checker for uninitialized C++ objects 2018-06-18 11:50:17 +00:00
copypaste [analyzer] Add support for the note diagnostic pieces to plist output format. 2018-04-24 20:45:48 +00:00
diagnostics [analyzer] Do not crash in the visitor when the function is given more arguments than it has parameters 2018-06-12 23:53:54 +00:00
engine Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
exploration_order [analyzer] Fix the filename for the exploration_order test. 2018-05-11 20:38:39 +00:00
html_diagnostics/relevant_lines [analyzer] Consider switch- and goto- labels when constructing the set of executed lines 2018-02-23 23:26:54 +00:00
inlining [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +00:00
objc Fix typos in clang 2018-04-06 15:14:32 +00:00
unified-sources [analyzer] Enable analysis of WebKit "unified sources". 2018-04-25 21:51:26 +00:00
z3 [Analyzer][Z3] Test fixes for Z3 constraint manager 2018-06-06 06:25:51 +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 [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
MismatchedDeallocator-path-notes.cpp [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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] [tests] Again, make tests more resilient to changes in exploration strategy 2018-03-02 01:41:19 +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-atomics.cpp [analyzer] Suppress more MallocChecker positives in smart pointer destructors. 2018-03-21 00:49:47 +00:00
NewDelete-checker-test.cpp [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
NewDelete-custom.cpp [analyzer] Enable c++-allocator-inlining by default. 2018-01-24 20:59:40 +00:00
NewDelete-intersections.mm [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
NewDelete-path-notes.cpp [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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 [analyzer] Suppress "this" pointer escape during construction. 2018-01-18 00:44:41 +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 [Analyzer][Z3] Test fixes for Z3 constraint manager 2018-06-06 06:25:51 +00:00
_Bool-increment-decrement.c [Analyzer] More accurate modeling about the increment operator of the operand with type bool. 2018-03-06 12:29:09 +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 Fix typos in clang 2018-04-06 15:14:32 +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 [analyzer] Add scope information to CFG 2018-03-12 12:26:15 +00:00
analyzer-config.cpp [analyzer] Enable temporary object destructor inlining by default. 2018-03-22 22:05:53 +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 [analyzer] Prevent AnalyzerStatsChecker from crash 2018-02-21 16:06:56 +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 [CFG] Fix automatic destructors when a member is bound to a reference. 2018-06-04 18:56:25 +00:00
autoreleasewritechecker_test.m [analyzer] Extend ObjCAutoreleaseWriteChecker to catch block declarations with autoreleasing variables 2018-05-16 22:47:05 +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] Model and check unrepresentable left shifts 2018-01-22 13:32:10 +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 [CFG] Add construction context for simple variable declarations. 2018-02-10 01:55:23 +00:00
bool-assignment.c Revert "[analyzer] Support generating and reasoning over more symbolic constraint types" 2017-07-12 21:43:42 +00:00
bool-increment.cpp [Analyzer] More accurate modeling about the increment operator of the operand with type bool. 2018-03-06 12:29:09 +00:00
bsd-string.c [analyzer] CStringChecker fix for strlcpy when no bytes are copied to the dest buffer 2018-05-23 04:38:25 +00:00
bstring.c [analyzer] Hopefully fix the ARM buildbot. 2018-03-31 02:17:15 +00:00
bstring.cpp [analyzer] Improve the modeling of memset(). 2018-05-16 12:37:53 +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] Add support for __builtin_constant_p. 2018-02-10 00:51:47 +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 callback for call_once passed by value 2018-05-16 00:29:13 +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] pr36458: Fix retrieved value cast for symbolic void pointers. 2018-05-04 22:11:12 +00:00
casts.cpp [analyzer] pr37209: Fix casts of glvalues to references. 2018-05-04 21:39:25 +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-rich-constructors.cpp Remove explicit cfg-temporary-dtors=true 2018-05-04 14:13:14 +00:00
cfg.cpp Remove explicit cfg-temporary-dtors=true 2018-05-04 14:13:14 +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 [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +00:00
const-method-call.cpp [analyzer] Fix invalidation on C++ const methods with arrow syntax. 2018-06-25 23:43:45 +00:00
constant-folding.c [Analyzer][Z3] Test fixes for Z3 constraint manager 2018-06-06 06:25:51 +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 [analyzer] Self-debug: Dump environment frame-by-frame. 2018-02-08 22:24:38 +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] pr18953: Split C++ zero-initialization from default initialization. 2018-05-04 21:56:51 +00:00
ctu-main.cpp [ASTImporter] Allow testing of import sequences; fix import of typedefs for anonymous decls 2018-04-24 10:11:53 +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 [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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
cxx-uninitialized-object-inheritance.cpp [analyzer] Checker for uninitialized C++ objects 2018-06-18 11:50:17 +00:00
cxx-uninitialized-object-ptr-ref.cpp [analyzer] Checker for uninitialized C++ objects 2018-06-18 11:50:17 +00:00
cxx-uninitialized-object.cpp [analyzer] Checker for uninitialized C++ objects 2018-06-18 11:50:17 +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
cxx17-mandatory-elision.cpp [analyzer] Re-enable C++17-specific RVO construction contexts. 2018-06-14 01:59:35 +00:00
cxxnewexpr-callback-inline.cpp [analyzer] operator new: Fix callback order for CXXNewExpr. 2018-01-18 00:53:50 +00:00
cxxnewexpr-callback-noinline.cpp [analyzer] operator new: Fix callback order for CXXNewExpr. 2018-01-18 00:53:50 +00:00
dangling-internal-buffer.cpp [analyzer] Add dangling internal buffer check. 2018-06-09 13:03:49 +00:00
dead-stores.c Fix typos in clang 2018-04-06 15:14:32 +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 Remove explicit cfg-temporary-dtors=true 2018-05-04 14:13:14 +00:00
dtor.cpp Remove explicit cfg-temporary-dtors=true 2018-05-04 14:13:14 +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 Fix typos in clang 2018-04-06 15:14:32 +00:00
edges-new.mm [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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 [Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyzer Option) 2018-04-11 06:21:12 +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] Self-debug: Dump environment frame-by-frame. 2018-02-08 22:24:38 +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
gcdantipatternchecker_test.m [analyzer] Change the warning message for GCD antipattern checker 2018-05-16 22:46:47 +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
globals.cpp [analyzer] Treat more const variables and fields as known contants. 2018-05-04 20:52:39 +00:00
gmalloc.c [analyzer] Teach the MallocChecker about Glib API for two arguments 2017-04-26 05:33:14 +00:00
gtest.cpp Remove explicit cfg-temporary-dtors=true 2018-05-04 14:13:14 +00:00
hangs.c [analyzer] Improve performance of the SVal simplification mechanism. 2018-05-31 17:22:38 +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
implicit-ctor-undef-value.cpp [analyzer] UndefinedAssignmentChecker: Better warning message in implicit ctors. 2018-02-27 22:05:55 +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
initialization.c [analyzer] const init: handle non-explicit cases more accurately 2018-05-29 14:14:22 +00:00
initialization.cpp [analyzer] const init: handle non-explicit cases more accurately 2018-05-29 14:14:22 +00:00
initializer.cpp [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
initializers-cfg-output.cpp [CFG] Add construction context for constructor initializers. 2018-02-10 02:18:04 +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 [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +00:00
inline-unique-reports.c [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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 [analyzer] operator new: Use the correct region for the constructor. 2018-01-17 22:34:23 +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] Fix the assertion failure when static globals are used in lambda by reference 2018-03-20 00:20:58 +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 [analyzer] Enable cfg-temporary-dtors by default. 2018-03-01 18:53:13 +00:00
lifetime-extension.cpp [analyzer] Re-enable constructors when lifetime extension through fields occurs. 2018-06-04 20:18:37 +00:00
lit.local.cfg [lit] Fix Analysis test format pickling error 2017-04-05 18:56:48 +00:00
live-bindings-test.cpp [analyzer] Fix liveness calculation for C++17 structured bindings 2018-03-31 01:20:06 +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 Fix typos in clang 2018-04-06 15:14:32 +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][Z3] Test fixes for Z3 constraint manager 2018-06-06 06:25:51 +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-preserve-reference-type.cpp [analyzer] Ensure that loop widening does not invalidate references 2018-06-12 22:22:35 +00:00
loop-widening.c [analyzer] Fix the crash in IteratorChecker.cpp when 'SymbolConjured' has a null Stmt. 2018-03-20 09:27: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 [NFC] fix trivial typos in comments 2018-01-22 07:44:38 +00:00
malloc-fnptr-plist.c [analyzer] MallocChecker: Fix one more bug category. 2018-02-08 23:28:29 +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] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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] Do not attempt to get the pointee of void* 2018-01-24 22:17:30 +00:00
malloc.cpp [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
malloc.m [analyzer] Clarify 'uninitialized function argument' messages 2017-03-08 15:22:24 +00:00
malloc.mm [analyzer] When we fail to evaluate a pointer cast, escape the pointer. 2018-04-19 23:24:32 +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 [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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 Fix typos in clang 2018-04-06 15:14:32 +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
missing-bind-temporary.cpp [analyzer][test] Set C++14 as language standard for test depending on new 2018-04-04 19:58:48 +00:00
mmap-writeexec.c [analyzer] MmapWriteExecChecker: Add support for mprotect(). 2018-03-09 01:47: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-ctor-conservative.cpp [analyzer] Assume that the allocated value is non-null before construction. 2018-01-24 20:32:26 +00:00
new-ctor-inlined.cpp [analyzer] operator new: Model the cast of returned pointer into object type. 2018-01-17 22:51:19 +00:00
new-ctor-malloc.cpp [analyzer] operator new: Fix path diagnostics around the operator call. 2018-01-18 00:10:21 +00:00
new-ctor-null-throw.cpp [analyzer] Assume that the allocated value is non-null before construction. 2018-01-24 20:32:26 +00:00
new-ctor-null.cpp [analyzer] Assume that the allocated value is non-null before construction. 2018-01-24 20:32:26 +00:00
new-ctor-recursive.cpp [analyzer] operator new: Use the correct region for the constructor. 2018-01-17 22:34:23 +00:00
new-ctor-symbolic.cpp [analyzer] operator new: Use the correct region for the constructor. 2018-01-17 22:34:23 +00:00
new-dynamic-types.cpp [analyzer] Don't crash when dynamic type of a variable is set via placement new. 2018-02-27 20:54:40 +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 [analyzer] Fix operator delete[] array-type-sub-expression handling. 2018-04-27 02:16:03 +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
nonnullparamchecker-crash.cpp [analyzer] Explicitly set an -std level for the analyzer test. 2018-03-14 23:50:18 +00:00
novoidtypecrash.c [analyzer] Only attempt to get the value of locations of known type 2018-02-27 19:28:52 +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] Track null or undef values through pointer arithmetic. 2018-03-30 19:27:42 +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] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +00:00
null-deref-ps-region.c [analyzer] Improve the modeling of memset(). 2018-05-16 12:37:53 +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] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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 Fix typos in clang 2018-04-06 15:14:32 +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
number-object-conversion.mm [analyzer] Don't throw NSNumberObjectConversion warning on object initialization in if-expression 2018-03-02 21:34:24 +00:00
objc-arc.m [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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] Correctly model iteration through "nil" objects 2018-03-08 02:53:39 +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 Fix typos in clang 2018-04-06 15:14:32 +00:00
objc-radar17039661.m [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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
offsetofexpr-callback.c [analyzer] Add missing pre-post-statement callbacks for OffsetOfExpr. 2018-02-10 00:55:49 +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-diagnostics-template-function.cpp [analyzer] Added template argument lists to the Pathdiagnostic output 2018-05-25 13:18:38 +00:00
plist-diagnostics-template-record.cpp [analyzer] Added template argument lists to the Pathdiagnostic output 2018-05-25 13:18:38 +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 [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +00:00
plist-output-alternate.m [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +00:00
plist-output.m [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +00:00
plist-stats-output.c [analyzer] Serialize statistics to plist when serialize-stats=true is set 2018-02-10 01:49:20 +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 [analyzer] When we fail to evaluate a pointer cast, escape the pointer. 2018-04-19 23:24:32 +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] [PointerArithChecker] do not warn on indexes into vector types 2018-03-07 22:20:39 +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 Revert "Revert "[analyzer] Quickfix: do not overflow in calculating offset in RegionManager"" 2018-02-27 00:05:04 +00:00
region_store_overflow.c [analyzer] Fix offset overflow check in MemRegion 2018-06-13 18:32:19 +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 [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +00:00
retain-release-path-notes.m [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +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: Accept more "safe" CFRetain wrappers. 2018-04-19 23:00:22 +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
retaincountchecker-compoundregion.m [analyzer] Fix crashes in RetainCountChecker when underlying region is not a var 2018-03-16 18:16:47 +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
return-stmt-merge.cpp [analyzer] Expose return statement from CallExit program point 2018-02-02 02:19:43 +00:00
scopes-cfg-output.cpp [CFG] [analyzer] Add construction contexts for loop condition variables. 2018-04-19 23:30:15 +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 [analyzer] Add security checks for bcmp(), bcopy(), bzero(). 2018-05-26 00:04:26 +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 [analyzer] Improve the modeling of memset(). 2018-05-16 12:37:53 +00:00
structured_bindings.cc [analyzer] Don't crash with assertion failure on structured bindings 2018-03-07 22:20:35 +00:00
superclass.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
sval-dump-int128.c Quick fix for rC330605: specify a target arch for test 2018-04-23 16:38:29 +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
svalbuilder-rearrange-comparisons.c [Analyzer] Fix for SValBuilder expressions rearrangement 2018-04-13 20:23: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 [analyzer] Make symbol_iterator iterate over SVal's symbolic base. 2018-03-22 21:30:58 +00:00
taint-diagnostic-visitor.c [analyzer] Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero and VLASize. 2018-05-02 12:11:22 +00:00
taint-generic.c [analyzer] Improves the logic of GenericTaintChecker identifying stdin. 2018-03-05 15:41:15 +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 Remove explicit cfg-temporary-dtors=true 2018-05-04 14:13:14 +00:00
temp-obj-dtors-option.cpp Remove explicit cfg-temporary-dtors=true 2018-05-04 14:13:14 +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] Remove an assertion that doesn't hold in C++17. 2018-03-22 21:54:48 +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
this-pointer.cpp [analyzer] Do not invalidate the `this` pointer. 2018-04-15 10:34:06 +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
trustnonnullchecker_test.m [analyzer] Trust _Nonnull annotations, and trust analyzer knowledge about receiver nullability 2018-05-31 00:28:13 +00:00
trustnonnullchecker_test.mm [analyzer] Do not crash in CallEvent.getReturnType() 2018-03-24 01:53:12 +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
undef-call.c [analyzer] Fix null deref in AnyFunctionCall::getRuntimeDefinition 2018-04-13 12:36:08 +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] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +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 [analyzer] Invalidate union regions properly. Don't hesitate to load later. 2018-05-04 22:19:32 +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] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +00:00
unreachable-code-path.c Teach Wreturn-type, Wunreachable-code, and alpha.deadcode.UnreachableCode to treat __assume(0) like __builtin_unreachable. 2018-02-13 21:31:47 +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] Enable c++-allocator-inlining by default. 2018-01-24 20:59:40 +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
yaccignore.c [analyzer] Do not analyze bison-generated files 2018-02-26 22:14:16 +00:00
z3-crosscheck.c [analyzer] False positive refutation with Z3 2018-06-04 14:40:44 +00:00