.. analyzer-stats ArrayBound cert Checkers copypaste diagnostics engine exploded-graph-rewriter exploration_order html_diagnostics inlining Inputs LifetimeSafety modules objc scan-build unified-sources z3 _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.cpp 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-note-analysis-entry-points.cpp analyzer-stats.c anonymous-decls.cpp arc-zero-init.m array-init-loop.cpp array-punned-region.c array-struct-region.c array-struct-region.cpp array-struct.c ArrayDelete.cpp 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 bitint-z3.c bitwise-shift-common.c bitwise-shift-pedantic.c bitwise-shift-sanity-checks.c bitwise-shift-state-update.c block-in-critical-section-inheritance.cpp block-in-critical-section-nested-namespace.cpp block-in-critical-section.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_UninitRead.c bstring.c bstring.cpp buffer-overlap-decls.c buffer-overlap.c bug_hash_test.cpp bug_hash_test.m bugfix-124477.m builtin_assume.cpp builtin_bitcast.cpp builtin_overflow_notes.c builtin_overflow.c builtin-functions.cpp c11lock.c call_once.cpp call-and-message.c call-and-message.cpp call-and-message.m call-and-message.mm call-invalidation.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 CFContainers-invalid.c CFContainers.mm cfg-indirect-goto-determinism.cpp cfg-openmp.cpp cfg-rich-constructors.cpp cfg-rich-constructors.mm cfg.c cfg.cpp CFNumber.c cfref_PR2519.c cfref_rdar6080742.c CFRetainRelease_NSAssertionHandler.m CGColorSpace.c check-analyzer-fixit.py check-deserialization.cpp checker-dependencies.c checker-plugins.c CheckNSError.m CheckThatArraySubsciptNodeIsNotCollected.cpp 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 consteval-if.cpp constraint_manager_conditions.cpp constraint_manager_negate_difference.c constraint_manager_negate.c constraint-assignor.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 coverage.c crash-trace.c cstring-addrspace.c cstring-plist.c cstring-ranges.c cstring-should-not-invalidate.cpp cstring-syntax-cxx.cpp cstring-syntax-weird.c cstring-syntax-weird2.c cstring-syntax.c cstring-uninitread-notes.c csv2json.py 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-import-type-decl-definition.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-test-import-failure.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 cxx23-assume-attribute.cpp cxx23-static-operator.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 DeallocMissingRelease.m DeallocUseAfterFreeErrors.m 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 DeleteWithNonVirtualDtor.cpp deprecated-flags-and-options.cpp derived-to-base.cpp designated-initializer-values.c designated-initializer.c disable-all-checks.c dispatch-once.m div-zero-cxx20.cpp div-zero.cpp division-by-zero-track-zero.c division-by-zero-track-zero.cpp division-by-zero.c divzero-tainted-div-difference.c domtest.c domtest.cpp double-ranges-bug.c dtor-array.cpp dtor-cxx11.cpp dtor-union.cpp dtor.cpp dtors-in-dtor-cfg-output.cpp dump_egraph.c dump_egraph.cpp dynamic_type_check.m dynamic-cast.cpp DynamicTypePropagation.m edges-new.mm egraph-asm-goto-no-crash.cpp element-region-address-space.c elementtype.c embed.c end-function-return-stmt.cpp 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 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-address-notes.c fixed-point.c flexible-array-member.cpp flexible-array-members.c flexignore.c fread.c free.c free.cpp ftime-trace-bind.cpp ftime-trace-no-init.cpp ftime-trace-removeDead.cpp ftime-trace.cpp fuchsia_handle.cpp fuchsia_lock_impl.c fuchsia_lock.c func-mapping-test.cpp func.c gcdantipatternchecker_test.m generate_analyzer_options_docs.test generics.m getline-alloc.c getline-cpp.cpp getline-unixapi-invalid-signatures.c getline-unixapi.c gh-issue-89185.c global_region_invalidation.mm global-region-invalidation-errno.c global-region-invalidation.c 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 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 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 invalid-ptr-checker.cpp invalidated-iterator.cpp issue-124474.cpp issue-137252.cpp issue-157467.cpp issue-55019.cpp issue-70464.cpp issue-91835.cpp issue-94193.cpp Issue56873.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-capture-structured-binding.cpp lambda-convert-to-func-ptr.cpp 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 loc-folding.cpp localization-aggressive.m localization.m logical-ops.c loop-assumptions.c loop-based-inlining-prevention.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_elements.c lvalue.cpp main.c main.cpp malloc-annotations.c malloc-annotations.cpp malloc-bodyfarms.c malloc-bodyfarms.cpp malloc-checker-arg-uaf.c malloc-custom.c malloc-fnptr-plist.c malloc-free-after-return.cpp malloc-interprocedural.c malloc-plist.c malloc-protoype.c malloc-refcounted.c malloc-sizeof.c malloc-sizeof.cpp malloc-static-storage.cpp malloc-std-namespace.cpp malloc-three-arg.c malloc.c malloc.cpp malloc.m malloc.mm Malloc+MismatchedDeallocator_intersections.cpp Malloc+MismatchedDeallocator+NewDelete.cpp max-nodes-suppress-on-sink.c max-nodes-suppress-on-sink.cpp member-expr.cpp memory-model.cpp MemRegion.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 MismatchedDeallocator-checker-test.mm MismatchedDeallocator-path-notes.cpp missing-bind-temporary.cpp missing-z3-nocrash.c MissingDealloc.m mmap-writeexec.c model-file-missing.cpp model-file.cpp more-dtors-cfg-output.cpp mpichecker.cpp mpicheckernotes.cpp MPIMock.h 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-user-defined.cpp new-with-exceptions.cpp new.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 NewDelete+MismatchedDeallocator_intersections.cpp NewDeleteLeaks-PR18394.cpp NewDeleteLeaks-PR19102.cpp NewDeleteLeaks-PR60896.cpp NewDeleteLeaks.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-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 NoReturn.m novoidtypecrash.c NSContainers.m NSPanel.m NSString.m NSWindow.m 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 null-pointer-arithm.c nullability_nullonly.mm nullability-arc.mm nullability-no-arc.mm nullability-nocrash.c nullability-notes.m nullability.c nullability.m nullability.mm nullptr.cpp number-object-conversion.c number-object-conversion.cpp number-object-conversion.m number-object-conversion.mm objc_invalidation.m 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 objcpp-uninitialized-object.mm ObjCProperties.m ObjCPropertiesSyntaxChecks.m ObjCRetSigs.m offsetofexpr-callback.c openmp-unsupported.c operator-calls.cpp os_object_base.h os_smart_ptr.h OSAtomic_mac.c OSAtomic_mac.cpp osobject-retain-release.cpp osobjectcstylecastchecker_test.cpp overloaded-delete-in-system-header.cpp 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_macro.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-sub-notes.c pointer-sub.c pointer-to-member.cpp pr_2542_rdar_6793404.m pr_4164.c PR121201.cpp PR12905.c PR135665.cpp pr22954.c PR24184.cpp PR2978.m PR35418.cpp pr37802.cpp PR37855.c PR38208.c PR3991.m PR40625.cpp pr4209.m PR46264.cpp PR47511.cpp PR49490.cpp PR49642.c PR50268.c PR57270.cpp PR60412.cpp PR7218.c PR9741.cpp pragma-diag-control.cpp preprocessor-setup.c print-ranges.cpp produce-symbolcast_x64.cpp produce-symbolcast_x86.cpp properties.m properties.mm pthreadlock_state_nottracked.c pthreadlock_state.c pthreadlock.c ptr-arith.c ptr-arith.cpp ptr-cmp-const-trunc.cl putenv-stack-array.c qt_malloc.cpp range_casts.c rdar-6442306-1.m rdar-6540084.m 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_store_overflow.c region-1.m region-store.c region-store.cpp 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 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 setgid-setuid-order-notes.c setgid-setuid-order.c shallow-mode.m short-circuiting-eval.cpp 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 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 SpecialFunctionsCFError.cpp 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-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-2-rad.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-POSIX-lookup.c std-c-library-functions-POSIX-socket-sockaddr.cpp std-c-library-functions-POSIX.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 store-dump-orders.cpp store-to-immutable-basic.c store-to-immutable-basic.cpp store-to-immutable-lambda-init.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-notes-missing-close.cpp stream-pedantic.c stream-stdlibraryfunctionargs.c stream.c stream.cpp string_notnullterm.c string-fail.c string-with-signedness.c string.c string.cpp structured_bindings.cpp superclass.m suppress-dereferences-from-any-address-space.c 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 thread-safety-handle-parenthesis.cpp track-control-dependency-conditions.cpp track-control-dependency-conditions.m transparent_union_bug.c 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 uninit-bug-first-iteration-init.c uninit-const.c uninit-const.cpp uninit-exhaustive-switch-bug.c uninit-ps-rdar6145427.m 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-exceptions.cpp unreachable-code-path.c unsupported-types.c unused-ivars.m use-after-move.cpp UserNullabilityAnnotations.m 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 void-call-exit-modelling.c weak-dependencies.c weak-functions.c wstring.c yaccignore.c z3-crosscheck-max-attempts.cpp z3-crosscheck.c z3-refute-enum-crash.cpp z3-unarysymexpr.c zero-operands.c zero-size-non-pod-array.cpp