/clang/test/Analysis/

• ../
• ArrayDelete.cpp
• CFContainers-invalid.c
• CFContainers.mm
• CFNumber.c
• CFRetainRelease_NSAssertionHandler.m
• CGColorSpace.c
• CheckNSError.m
• CheckThatArraySubsciptNodeIsNotCollected.cpp
• Checkers
• DeallocMissingRelease.m
• DeallocUseAfterFreeErrors.m
• DeleteWithNonVirtualDtor.cpp
• DynamicTypePropagation.m
• Inputs
• Issue56873.cpp
• MPIMock.h
• Malloc+MismatchedDeallocator+NewDelete.cpp
• Malloc+MismatchedDeallocator_intersections.cpp
• MemRegion.cpp
• MismatchedDeallocator-checker-test.mm
• MismatchedDeallocator-path-notes.cpp
• MissingDealloc.m
• NSContainers.m
• NSPanel.m
• NSString.m
• NSWindow.m
• NewDelete+MismatchedDeallocator_intersections.cpp
• NewDelete-atomics.cpp
• NewDelete-checker-test.cpp
• NewDelete-custom.cpp
• NewDelete-intersections.mm
• NewDelete-path-notes.cpp
• NewDelete-sized-deallocation.cpp
• NewDelete-variadic.cpp
• NewDeleteLeaks-PR18394.cpp
• NewDeleteLeaks-PR19102.cpp
• NewDeleteLeaks.cpp
• NoReturn.m
• OSAtomic_mac.c
• OSAtomic_mac.cpp
• ObjCProperties.m
• ObjCPropertiesSyntaxChecks.m
• ObjCRetSigs.m
• PR12905.c
• PR24184.cpp
• PR2978.m
• PR35418.cpp
• PR37855.c
• PR38208.c
• PR3991.m
• PR40625.cpp
• PR46264.cpp
• PR47511.cpp
• PR49490.cpp
• PR49642.c
• PR50268.c
• PR60412.cpp
• PR7218.c
• PR9741.cpp
• SpecialFunctionsCFError.cpp
• UserNullabilityAnnotations.m
• _Bool-increment-decrement.c
• a_flaky_crash.cpp
• additive-folding-range-constraints.c
• additive-folding.cpp
• additive-op-on-sym-int-expr.c
• addrspace-null.c
• aggrinit-cfg-output.cpp
• analysis-after-multiple-dtors.cpp
• analyze-function-guide.cpp
• analyze-function-guide.m
• analyzeOneFunction.m
• analyzer-checker-config.c
• analyzer-checker-option-help.c
• analyzer-config.c
• analyzer-display-progress.cpp
• analyzer-display-progress.m
• analyzer-enabled-checkers.c
• analyzer-list-configs.c
• analyzer-stats.c
• analyzer_test.py
• arc-zero-init.m
• array-bound-v2-constraint-check.c
• array-init-loop.cpp
• array-punned-region.c
• array-struct-region.c
• array-struct-region.cpp
• array-struct.c
• asm-goto.cpp
• asm.cpp
• assume-controlled-environment.c
• assuming-unsigned-ge-0.c
• atomics.c
• auto-obj-dtors-cfg-output.cpp
• autoreleasewritechecker_test.m
• base-init.cpp
• bitint-no-crash.c
• bitwise-shift-common.c
• bitwise-shift-pedantic.c
• bitwise-shift-sanity-checks.c
• bitwise-shift-state-update.c
• block-in-critical-section.cpp
• block-in-critical-section.m
• blocks-no-inline.c
• blocks-nrvo.c
• blocks.m
• blocks.mm
• bool-assignment.c
• bool-increment.cpp
• bsd-string.c
• bstring.c
• bstring.cpp
• bstring_UninitRead.c
• buffer-overlap.c
• bug_hash_test.cpp
• bug_hash_test.m
• builtin-functions.cpp
• builtin_bitcast.cpp
• builtin_signbit.cpp
• c11lock.c
• call-and-message.c
• call-and-message.cpp
• call-and-message.m
• call-and-message.mm
• call-invalidation.cpp
• call_once.cpp
• cast-to-struct.cpp
• cast-value-logic.cpp
• cast-value-notes.cpp
• cast-value-state-dump.cpp
• cast-value-weird.cpp
• castexpr-callback.c
• casts.c
• casts.cpp
• casts.m
• cert
• cfg-indirect-goto-determinism.cpp
• cfg-openmp.cpp
• cfg-rich-constructors.cpp
• cfg-rich-constructors.mm
• cfg.c
• cfg.cpp
• cfref_PR2519.c
• cfref_rdar6080742.c
• check-analyzer-fixit.py
• check-deserialization.cpp
• checker-dependencies.c
• checker-plugins.c
• chroot.c
• class-object-state-dump.m
• comparison-implicit-casts.cpp
• complex-init-list.cpp
• complex.c
• compound-literals.c
• concrete-address.c
• conditional-operator.cpp
• conditional-path-notes.c
• const-method-call.cpp
• constant-folding-crash.cpp
• constant-folding.c
• constraint-assignor.c
• constraint_manager_conditions.cpp
• constraint_manager_negate.c
• constraint_manager_negate_difference.c
• container-modeling-no-aggressive-binary-operation-simplification-warn.cpp
• container-modeling.cpp
• conversion-tracking-notes.c
• conversion.c
• conversion.cpp
• copy-elision.cpp
• copy-elision.mm
• copypaste
• coverage.c
• crash-trace.c
• cstring-addrspace.c
• cstring-plist.c
• cstring-ranges.c
• cstring-syntax-cxx.cpp
• cstring-syntax-weird.c
• cstring-syntax-weird2.c
• cstring-syntax.c
• ctor-array.cpp
• ctor-bug-path.cpp
• ctor-trivial-copy.cpp
• ctor.mm
• ctu-cxxdefaultinitexpr.cpp
• ctu-different-triples.cpp
• ctu-hdr.h
• ctu-implicit.c
• ctu-import-threshold.c
• ctu-inherited-default-ctor.cpp
• ctu-lookup-name-with-space.cpp
• ctu-main.c
• ctu-main.cpp
• ctu-on-demand-parsing.c
• ctu-on-demand-parsing.cpp
• ctu-onego-existingdef.cpp
• ctu-onego-indirect.cpp
• ctu-onego-small.cpp
• ctu-onego-toplevel.cpp
• ctu-unknown-parts-in-triples.cpp
• cxx-callgraph.cpp
• cxx-crashes.cpp
• cxx-dynamic-memory-analysis-order.cpp
• cxx-for-range-cfg.cpp
• cxx-for-range.cpp
• cxx-inherited-ctor-init-expr.cpp
• cxx-inherited-ctor-is-skipped-as-top-level.cpp
• cxx-member-initializer-const-field.cpp
• cxx-method-names.cpp
• cxx-uninitialized-object-inheritance.cpp
• cxx-uninitialized-object-no-dereference.cpp
• cxx-uninitialized-object-notes-as-warnings.cpp
• cxx-uninitialized-object-ptr-ref.cpp
• cxx-uninitialized-object-unguarded-access.cpp
• cxx-uninitialized-object-unionlike-constructs.cpp
• cxx-uninitialized-object.cpp
• cxx11-crashes.cpp
• cxx2b-deducing-this.cpp
• cxxctr-array-evalcall-analysis-order.cpp
• cxxctr-evalcall-analysis-order.cpp
• cxxnewexpr-callback.cpp
• dead-stores.c
• dead-stores.cpp
• dead-stores.m
• deadstores-driverkit.cpp
• debug-CallGraph.cpp
• debug-checkers.cpp
• debug-container-modeling.cpp
• debug-exprinspection-istainted.c
• debug-iterator-modeling.cpp
• default-analyze.m
• default-diagnostic-visitors.c
• delayed-template-parsing-crash.cpp
• delegates.m
• deprecated-flags-and-options.cpp
• derived-to-base.cpp
• designated-initializer-values.c
• designated-initializer.c
• diagnostics
• disable-all-checks.c
• dispatch-once.m
• div-zero.cpp
• division-by-zero-track-zero.c
• division-by-zero-track-zero.cpp
• division-by-zero.c
• domtest.c
• domtest.cpp
• double-ranges-bug.c
• dtor-array.cpp
• dtor-cxx11.cpp
• dtor.cpp
• dtors-in-dtor-cfg-output.cpp
• dump_egraph.c
• dump_egraph.cpp
• dynamic-cast.cpp
• dynamic_type_check.m
• edges-new.mm
• egraph-asm-goto-no-crash.cpp
• elementtype.c
• end-function-return-stmt.cpp
• engine
• enum-cast-out-of-range.c
• enum-cast-out-of-range.cpp
• enum.cpp
• equality_tracking.c
• errno-notes.c
• errno-options.c
• errno-stdlibraryfunctions-notes.c
• errno-stdlibraryfunctions.c
• errno.c
• eval-predefined-exprs.cpp
• exceptions.mm
• exercise-ps.c
• explain-svals.c
• explain-svals.cpp
• explain-svals.m
• exploded-graph-rewriter
• exploration_order
• expr-inspection-printState-diseq-info.c
• expr-inspection-printState-eq-classes.c
• expr-inspection.c
• expr-inspection.cpp
• fields.c
• find-binop-constraints.cpp
• fixed-point.c
• flexible-array-member.cpp
• flexible-array-members.c
• flexignore.c
• free.c
• free.cpp
• fuchsia_handle.cpp
• fuchsia_lock.c
• fuchsia_lock_impl.c
• func-mapping-test.cpp
• func.c
• gcdantipatternchecker_test.m
• generics.m
• getline-alloc.c
• global-region-invalidation-errno.c
• global-region-invalidation.c
• global_region_invalidation.mm
• globals-are-not-always-immutable.c
• globals.c
• globals.cpp
• gmalloc.c
• gtest.cpp
• handle_constructors_for_default_arguments.cpp
• handle_constructors_with_new_array.cpp
• hangs.c
• html-diag-singlefile.c
• html-diag-singlefile.h
• html-diags-analyze-headers.c
• html-diags-analyze-headers.h
• html-diags-multifile.c
• html-diags-multifile.h
• html-diags.c
• html_diagnostics
• identical-expressions.cpp
• implicit-ctor-undef-value.cpp
• incorrect-checker-names.cpp
• incorrect-checker-names.mm
• index-type.c
• infeasible-crash.c
• infeasible-sink.c
• initialization.c
• initialization.cpp
• initializer.cpp
• initializers-cfg-output.cpp
• inline-if-constexpr.cpp
• inline-not-supported.c
• inline-plist.c
• inline-unique-reports.c
• inline.c
• inline.cpp
• inline2.c
• inline3.c
• inline4.c
• inlining
• inner-pointer.cpp
• int128-nocrash.c
• invalid-a-na-ly-zer-con-fig-value.c
• invalid-analyzer-config-value.c
• invalid-checker-option.c
• invalid-deref.c
• invalid-ptr-checker.c
• invalidated-iterator.cpp
• issue-55019.cpp
• issue-70464.cpp
• iterator-modeling-no-aggressive-binary-operation-simplification-no-crash.cpp
• iterator-modeling.cpp
• iterator-range.cpp
• ivars.m
• keychainAPI-diagnostic-visitor.m
• keychainAPI.m
• kmalloc-linux.c
• lambda-notes.cpp
• lambdas-generalized-capture.cpp
• lambdas-modern.cpp
• lambdas.cpp
• lambdas.mm
• lifetime-cfg-output.cpp
• lifetime-extended-regions.cpp
• lifetime-extension.cpp
• lifetime-extension.mm
• lit.local.cfg
• live-bindings-test.cpp
• live-stmts.cpp
• live-stmts.mm
• live-variables.cpp
• live-variables.m
• llvm-conventions.cpp
• localization-aggressive.m
• localization.m
• logical-ops.c
• loop-block-counts.c
• loop-unrolling.cpp
• loop-widening-ignore-static-methods.cpp
• loop-widening-notes.cpp
• loop-widening-preserve-reference-type.cpp
• loop-widening.c
• loop-widening.cpp
• loopexit-cfg-output.cpp
• lvalue.cpp
• main.c
• main.cpp
• malloc-annotations.c
• malloc-annotations.cpp
• malloc-bodyfarms.c
• malloc-bodyfarms.cpp
• malloc-custom.c
• malloc-fnptr-plist.c
• malloc-free-after-return.cpp
• malloc-interprocedural.c
• malloc-overflow.c
• malloc-overflow.cpp
• malloc-overflow2.c
• malloc-plist.c
• malloc-protoype.c
• malloc-sizeof.c
• malloc-sizeof.cpp
• malloc-static-storage.cpp
• malloc-three-arg.c
• malloc.c
• malloc.cpp
• malloc.m
• malloc.mm
• max-nodes-suppress-on-sink.c
• max-nodes-suppress-on-sink.cpp
• member-expr.cpp
• memory-model.cpp
• method-arg-decay.m
• method-call-intra-p.cpp
• method-call-path-notes.cpp
• method-call.cpp
• mig.mm
• misc-ps-64.m
• misc-ps-arm.m
• misc-ps-cxx0x.cpp
• misc-ps-eager-assume.m
• misc-ps-ranges.m
• misc-ps-region-store-i386.m
• misc-ps-region-store-x86_64.m
• misc-ps-region-store.cpp
• misc-ps-region-store.m
• misc-ps-region-store.mm
• misc-ps.c
• misc-ps.m
• mismatched-iterator.cpp
• missing-bind-temporary.cpp
• missing-z3-nocrash.c
• mmap-writeexec.c
• model-file.cpp
• more-dtors-cfg-output.cpp
• mpichecker.cpp
• mpicheckernotes.cpp
• ms-seh.cpp
• mutually_exclusive_null_fp.cpp
• new-aligned.cpp
• new-ctor-conservative.cpp
• new-ctor-inlined.cpp
• new-ctor-malloc.cpp
• new-ctor-null-throw.cpp
• new-ctor-null.cpp
• new-ctor-recursive.cpp
• new-ctor-symbolic.cpp
• new-dynamic-types.cpp
• new-with-exceptions.cpp
• new.cpp
• nil-receiver-undefined-larger-than-voidptr-ret-region.m
• nil-receiver-undefined-larger-than-voidptr-ret.m
• nil-receiver.mm
• no-exit-cfg.c
• no-outofbounds.c
• no-return.c
• no-store-suppression.cpp
• no-unreachable-dtors.cpp
• non-diagnosable-assumptions.c
• nonnull-global-constants.mm
• nonnull.cpp
• nonnull.m
• nonnullparamchecker-crash.cpp
• nonreturn-destructors-cfg-output.cpp
• novoidtypecrash.c
• null-deref-offsets.c
• null-deref-path-notes.c
• null-deref-path-notes.cpp
• null-deref-path-notes.m
• null-deref-ps-region.c
• null-deref-ps.c
• null-deref-static.m
• nullability-arc.mm
• nullability-no-arc.mm
• nullability-notes.m
• nullability.c
• nullability.m
• nullability.mm
• nullability_nullonly.mm
• nullptr.cpp
• number-object-conversion.c
• number-object-conversion.cpp
• number-object-conversion.m
• number-object-conversion.mm
• objc-arc.m
• objc-bool.m
• objc-boxing.m
• objc-encode.m
• objc-for.m
• objc-indirect-copy-restore.m
• objc-live-crash.mm
• objc-message.m
• objc-method-coverage.m
• objc-properties.m
• objc-radar17039661.m
• objc-string.mm
• objc-subscript.m
• objc
• objc_invalidation.m
• objcpp-uninitialized-object.mm
• offsetofexpr-callback.c
• openmp-unsupported.c
• operator-calls.cpp
• os_object_base.h
• os_smart_ptr.h
• osobject-retain-release.cpp
• osobjectcstylecastchecker_test.cpp
• out-of-bounds-diagnostics.c
• out-of-bounds-new.cpp
• out-of-bounds-notes.c
• out-of-bounds.c
• outofbound-notwork.c
• outofbound.c
• override-werror.c
• padding_c.c
• padding_cpp.cpp
• padding_inherit.cpp
• padding_message.cpp
• padding_no_unique_address.cpp
• path-notes-impl-param.m
• pch_crash.cpp
• placement-new-user-defined.cpp
• placement-new.cpp
• plist-diagnostics-template-function.cpp
• plist-diagnostics-template-record.cpp
• plist-html-macros.c
• plist-macros-with-expansion-ctu.c
• plist-macros-with-expansion.c
• plist-macros-with-expansion.cpp
• plist-macros.cpp
• plist-output-alternate.m
• plist-output.m
• plist-stats-output.c
• pointer-arithmetic.c
• pointer-escape-on-conservative-calls.c
• pointer-to-member.cpp
• pr22954.c
• pr37802.cpp
• pr4209.m
• pr_2542_rdar_6793404.m
• pr_4164.c
• preprocessor-setup.c
• print-ranges.cpp
• produce-symbolcast_x64.cpp
• produce-symbolcast_x86.cpp
• properties.m
• properties.mm
• pthreadlock.c
• pthreadlock_state.c
• pthreadlock_state_nottracked.c
• ptr-arith.c
• ptr-arith.cpp
• ptr-cmp-const-trunc.cl
• ptr-iter.cpp
• ptr-sort.cpp
• qt_malloc.cpp
• range_casts.c
• rdar-6442306-1.m
• rdar-6540084.m
• rdar-6541136-region.c
• rdar-6562655.m
• rdar-6600344-nil-receiver-undefined-struct-ret.m
• rdar-7168531.m
• redecl.c
• redefined_system.c
• refcnt_naming.m
• reference.cpp
• region-1.m
• region-store.c
• region-store.cpp
• region_store_overflow.c
• reinterpret-cast-pointer-to-member.cpp
• reinterpret-cast.cpp
• report-uniqueing.cpp
• retain-count-alloc.cpp
• retain-release-arc.m
• retain-release-cache-out.m
• retain-release-cf-audited.m
• retain-release-compound-literal.m
• retain-release-cpp-classes.cpp
• retain-release-inline.m
• retain-release-path-notes.m
• retain-release-region-store.m
• retain-release-safe.c
• retain-release.m
• retain-release.mm
• retaincountchecker-compoundregion.m
• return-ptr-range.cpp
• return-stmt-merge.cpp
• return-value-guaranteed.cpp
• returns_nonnull-attribute.cpp
• runtime-regression.c
• rvo.cpp
• scan-build
• scopes-cfg-output.cpp
• security-syntax-checks-no-emit.c
• security-syntax-checks-nscoder.m
• security-syntax-checks.c
• security-syntax-checks.m
• self-assign.cpp
• self-init.m
• shallow-mode.m
• show-checker-list.c
• silence-checkers-and-packages-core-all.cpp
• silence-checkers-and-packages-core-div-by-zero.cpp
• silence-checkers.cpp
• simple-stream-checks.c
• sizeofpack.cpp
• sizeofpointer.c
• smart-ptr-text-output.cpp
• smart-ptr.cpp
• solver-sym-simplification-adjustment.c
• solver-sym-simplification-bool.cpp
• solver-sym-simplification-concreteint.c
• solver-sym-simplification-no-crash.c
• solver-sym-simplification-no-crash2.c
• solver-sym-simplification-ptr-bool.cl
• solver-sym-simplification-with-proper-range-type.c
• stack-addr-ps.c
• stack-addr-ps.cpp
• stack-block-returned.cpp
• stack-capture-leak-arc.mm
• stack-capture-leak-no-arc.mm
• stack-frame-context-revision.cpp
• stackaddrleak.c
• stackaddrleak.cpp
• static_local.m
• stats.c
• std-c-library-functions-POSIX-lookup.c
• std-c-library-functions-POSIX-socket-sockaddr.cpp
• std-c-library-functions-POSIX.c
• std-c-library-functions-arg-constraints-note-tags.cpp
• std-c-library-functions-arg-constraints-notes.cpp
• std-c-library-functions-arg-constraints-tracking-notes.c
• std-c-library-functions-arg-constraints.c
• std-c-library-functions-arg-constraints.cpp
• std-c-library-functions-arg-cstring-dependency.c
• std-c-library-functions-arg-enabled-checkers.c
• std-c-library-functions-arg-weakdeps.c
• std-c-library-functions-eof.c
• std-c-library-functions-inlined.c
• std-c-library-functions-lookup.c
• std-c-library-functions-lookup.cpp
• std-c-library-functions-path-notes.c
• std-c-library-functions-restrict.c
• std-c-library-functions-restrict.cpp
• std-c-library-functions-vs-stream-checker.c
• std-c-library-functions.c
• std-c-library-functions.cpp
• std-c-library-posix-crash.c
• std-string.cpp
• std-variant-checker.cpp
• stl-algorithm-modeling-aggressive-std-find-modeling.cpp
• stl-algorithm-modeling.cpp
• stream-errno-note.c
• stream-errno.c
• stream-error.c
• stream-invalidate.c
• stream-non-posix-function.c
• stream-noopen.c
• stream-note.c
• stream-stdlibraryfunctionargs.c
• stream.c
• stream.cpp
• string-fail.c
• string-with-signedness.c
• string.c
• string.cpp
• structured_bindings.cpp
• superclass.m
• suppression-attr-doc.cpp
• suppression-attr.cpp
• suppression-attr.m
• sval-dump-int128.c
• svalbuilder-casts.cpp
• svalbuilder-float-cast.c
• svalbuilder-logic.c
• svalbuilder-rearrange-comparisons.cpp
• svalbuilder-simplify-compound-svals.cpp
• svalbuilder-simplify-in-evalbinop.cpp
• svalbuilder-simplify-intsym.cpp
• svalbuilder-simplify-no-crash.c
• switch-case.c
• symbol-escape.cpp
• symbol-reaper-lambda.cpp
• symbol-reaper.c
• symbol-reaper.cpp
• symbol-simplification-assertion.c
• symbol-simplification-bo-div.c
• symbol-simplification-disequality-info.cpp
• symbol-simplification-fixpoint-iteration-unreachable-code.cpp
• symbol-simplification-fixpoint-one-iteration.cpp
• symbol-simplification-fixpoint-two-iterations.cpp
• symbol-simplification-nonloc-loc.cpp
• symbol-simplification-reassume.cpp
• symbol-simplification-symplify-results-in-dead-symbol.cpp
• symbolcast-floatingpoint.cpp
• taint-checker-callback-order-has-definition.c
• taint-checker-callback-order-without-definition.c
• taint-diagnostic-visitor.c
• taint-dumps.c
• taint-generic.c
• taint-generic.cpp
• taint-tester.c
• taint-tester.cpp
• taint-tester.m
• temp-obj-dtors-cfg-output.cpp
• temp-obj-dtors-option.cpp
• template-param-objects.cpp
• templates.cpp
• temporaries-callback-order.cpp
• temporaries.cpp
• temporaries.mm
• test-after-div-zero.c
• test-include-cpp.cpp
• test-include-cpp.h
• test-include.c
• test-include.h
• test-objc-non-nil-return-value-checker.m
• test-separate-retaincount.cpp
• test-variably-modified-types.c
• this-pointer.cpp
• track-control-dependency-conditions.cpp
• track-control-dependency-conditions.m
• transparent_union_bug.c
• traversal-algorithm.mm
• traversal-begin-end-function.c
• traversal-path-unification.c
• trivial-copy-struct.cpp
• trustnonnullchecker_test.m
• trustnonnullchecker_test.mm
• unary-sym-expr-no-crash.c
• unary-sym-expr-z3-refutation.c
• unary-sym-expr.c
• undef-buffers.c
• undef-call.c
• undefined-new-element.cpp
• unified-sources
• uninit-asm-goto.cpp
• uninit-bug-first-iteration-init.c
• uninit-const.c
• uninit-const.cpp
• uninit-exhaustive-switch-bug.c
• uninit-ps-rdar6145427.m
• uninit-sometimes.cpp
• uninit-structured-binding-array.cpp
• uninit-structured-binding-struct.cpp
• uninit-structured-binding-tuple.cpp
• uninit-val-const-likeness.c
• uninit-vals-union.c
• uninit-vals.c
• uninit-vals.cpp
• uninit-vals.m
• unions-region.m
• unions.cpp
• unix-api.c
• unix-api.cpp
• unix-fns-o_creat.c
• unix-fns.c
• unreachable-code-path.c
• unsupported-types.c
• unused-ivars.m
• use-after-move.cpp
• valist-as-lazycompound.c
• valist-uninitialized-no-undef.c
• valist-uninitialized.c
• valist-unterminated.c
• variadic-method-types.m
• vector.m
• vfork.c
• virtualcall-fixits.cpp
• virtualcall-plist.cpp
• virtualcall.cpp
• virtualcall.h
• vla-overflow.c
• vla.c
• weak-dependencies.c
• weak-functions.c
• wstring.c
• yaccignore.c
• z3-crosscheck.c
• z3-refute-enum-crash.cpp
• z3
• zero-operands.c
• zero-size-non-pod-array.cpp