Google Git
Sign in
cos/mirrors/github.com/llvm/llvm-project/refs/heads/main/./clang/test/Analysis
tree: f58a4688a957eccee563812ac2776a21e468cc7f [path history] [tgz]
  1. analyzer-stats/
  2. ArrayBound/
  3. cert/
  4. Checkers/
  5. copypaste/
  6. diagnostics/
  7. engine/
  8. exploded-graph-rewriter/
  9. exploration_order/
  10. html_diagnostics/
  11. inlining/
  12. Inputs/
  13. LifetimeSafety/
  14. modules/
  15. objc/
  16. scan-build/
  17. unified-sources/
  18. z3/
  19. _Bool-increment-decrement.c
  20. a_flaky_crash.cpp
  21. additive-folding-range-constraints.c
  22. additive-folding.cpp
  23. additive-op-on-sym-int-expr.c
  24. addrspace-null.c
  25. aggrinit-cfg-output.cpp
  26. analysis-after-multiple-dtors.cpp
  27. analyze-function-guide.cpp
  28. analyze-function-guide.m
  29. analyzeOneFunction.cpp
  30. analyzeOneFunction.m
  31. analyzer-checker-config.c
  32. analyzer-checker-option-help.c
  33. analyzer-config.c
  34. analyzer-display-progress.cpp
  35. analyzer-display-progress.m
  36. analyzer-enabled-checkers.c
  37. analyzer-list-configs.c
  38. analyzer-note-analysis-entry-points.cpp
  39. analyzer-stats.c
  40. anonymous-decls.cpp
  41. arc-zero-init.m
  42. array-init-loop.cpp
  43. array-punned-region.c
  44. array-struct-region.c
  45. array-struct-region.cpp
  46. array-struct.c
  47. ArrayDelete.cpp
  48. asm-goto.cpp
  49. asm.cpp
  50. assume-controlled-environment.c
  51. assuming-unsigned-ge-0.c
  52. atomics.c
  53. auto-obj-dtors-cfg-output.cpp
  54. autoreleasewritechecker_test.m
  55. base-init.cpp
  56. bitint-no-crash.c
  57. bitint-z3.c
  58. bitwise-shift-common.c
  59. bitwise-shift-pedantic.c
  60. bitwise-shift-sanity-checks.c
  61. bitwise-shift-state-update.c
  62. block-in-critical-section-inheritance.cpp
  63. block-in-critical-section-nested-namespace.cpp
  64. block-in-critical-section.c
  65. block-in-critical-section.cpp
  66. block-in-critical-section.m
  67. blocks-no-inline.c
  68. blocks-nrvo.c
  69. blocks.m
  70. blocks.mm
  71. bool-assignment.c
  72. bool-increment.cpp
  73. bsd-string.c
  74. bstring.c
  75. bstring.cpp
  76. bstring_UninitRead.c
  77. buffer-overlap-decls.c
  78. buffer-overlap.c
  79. bug_hash_test.cpp
  80. bug_hash_test.m
  81. bugfix-124477.m
  82. builtin-functions.cpp
  83. builtin_assume.cpp
  84. builtin_bitcast.cpp
  85. builtin_overflow.c
  86. builtin_overflow_notes.c
  87. c11lock.c
  88. call-and-message-argpointeeinitializedness.c
  89. call-and-message-argpointeeinitializedness.cpp
  90. call-and-message.c
  91. call-and-message.cpp
  92. call-and-message.m
  93. call-and-message.mm
  94. call-invalidation.cpp
  95. call_once.cpp
  96. cast-to-struct.cpp
  97. cast-value-logic.cpp
  98. cast-value-notes.cpp
  99. cast-value-state-dump.cpp
  100. cast-value-weird.cpp
  101. castexpr-callback.c
  102. casts.c
  103. casts.cpp
  104. casts.m
  105. CFContainers-invalid.c
  106. CFContainers.mm
  107. cfg-assignment-eval-order.cpp
  108. cfg-indirect-goto-determinism.cpp
  109. cfg-openmp.cpp
  110. cfg-rich-constructors.cpp
  111. cfg-rich-constructors.mm
  112. cfg.c
  113. cfg.cpp
  114. CFNumber.c
  115. cfref_PR2519.c
  116. cfref_rdar6080742.c
  117. CFRetainRelease_NSAssertionHandler.m
  118. CGColorSpace.c
  119. check-analyzer-fixit.py
  120. check-deserialization.cpp
  121. checker-dependencies.c
  122. checker-plugins.c
  123. CheckNSError.m
  124. CheckThatArraySubsciptNodeIsNotCollected.cpp
  125. chroot.c
  126. class-object-state-dump.m
  127. comparison-implicit-casts.cpp
  128. complex-init-list.cpp
  129. complex.c
  130. compound-literals.c
  131. concrete-address.c
  132. conditional-operator.cpp
  133. conditional-path-notes.c
  134. const-method-call.cpp
  135. constant-folding-crash.cpp
  136. constant-folding.c
  137. consteval-if.cpp
  138. constraint-assignor.c
  139. constraint_manager_conditions.cpp
  140. constraint_manager_negate.c
  141. constraint_manager_negate_difference.c
  142. container-modeling-no-aggressive-binary-operation-simplification-warn.cpp
  143. container-modeling.cpp
  144. conversion-tracking-notes.c
  145. conversion.c
  146. conversion.cpp
  147. copy-elision.cpp
  148. copy-elision.mm
  149. coverage.c
  150. crash-trace.c
  151. cstring-addrspace.c
  152. cstring-plist.c
  153. cstring-ranges.c
  154. cstring-should-not-invalidate.cpp
  155. cstring-syntax-cxx.cpp
  156. cstring-syntax-weird.c
  157. cstring-syntax-weird2.c
  158. cstring-syntax.c
  159. cstring-uninitread-notes.c
  160. csv2json.py
  161. ctor-array.cpp
  162. ctor-bug-path.cpp
  163. ctor-trivial-copy.cpp
  164. ctor.mm
  165. ctu-cxxdefaultinitexpr.cpp
  166. ctu-different-triples.cpp
  167. ctu-hdr.h
  168. ctu-implicit.c
  169. ctu-import-threshold.c
  170. ctu-import-type-decl-definition.c
  171. ctu-inherited-default-ctor.cpp
  172. ctu-lookup-name-with-space.cpp
  173. ctu-main.c
  174. ctu-main.cpp
  175. ctu-on-demand-parsing.c
  176. ctu-on-demand-parsing.cpp
  177. ctu-onego-existingdef.cpp
  178. ctu-onego-indirect.cpp
  179. ctu-onego-small.cpp
  180. ctu-onego-toplevel.cpp
  181. ctu-test-import-failure.cpp
  182. ctu-unknown-parts-in-triples.cpp
  183. cxx-callgraph.cpp
  184. cxx-crashes.cpp
  185. cxx-dynamic-memory-analysis-order.cpp
  186. cxx-for-range-cfg.cpp
  187. cxx-for-range.cpp
  188. cxx-inherited-ctor-init-expr.cpp
  189. cxx-inherited-ctor-is-skipped-as-top-level.cpp
  190. cxx-member-initializer-const-field.cpp
  191. cxx-method-names.cpp
  192. cxx-uninitialized-object-inheritance.cpp
  193. cxx-uninitialized-object-no-dereference.cpp
  194. cxx-uninitialized-object-notes-as-warnings.cpp
  195. cxx-uninitialized-object-ptr-ref.cpp
  196. cxx-uninitialized-object-unguarded-access.cpp
  197. cxx-uninitialized-object-unionlike-constructs.cpp
  198. cxx-uninitialized-object.cpp
  199. cxx11-crashes.cpp
  200. cxx20-range-for-cfg.cpp
  201. cxx23-assume-attribute.cpp
  202. cxx23-static-operator.cpp
  203. cxx2b-deducing-this.cpp
  204. cxxctr-array-evalcall-analysis-order.cpp
  205. cxxctr-evalcall-analysis-order.cpp
  206. cxxnewexpr-callback.cpp
  207. dead-stores.c
  208. dead-stores.cpp
  209. dead-stores.m
  210. deadstores-driverkit.cpp
  211. DeallocMissingRelease.m
  212. DeallocUseAfterFreeErrors.m
  213. debug-CallGraph.cpp
  214. debug-checkers.cpp
  215. debug-container-modeling.cpp
  216. debug-exprinspection-istainted.c
  217. debug-iterator-modeling.cpp
  218. default-analyze.m
  219. default-diagnostic-visitors.c
  220. delayed-template-parsing-crash.cpp
  221. delegates.m
  222. DeleteWithNonVirtualDtor.cpp
  223. deprecated-flags-and-options.cpp
  224. derived-to-base.cpp
  225. designated-initializer-values.c
  226. designated-initializer.c
  227. disable-all-checks.c
  228. dispatch-once.m
  229. div-zero-cxx20.cpp
  230. div-zero.cpp
  231. division-by-zero-track-zero.c
  232. division-by-zero-track-zero.cpp
  233. division-by-zero.c
  234. divzero-tainted-div-difference.c
  235. domtest.c
  236. domtest.cpp
  237. double-ranges-bug.c
  238. dtor-array.cpp
  239. dtor-cxx11.cpp
  240. dtor-union.cpp
  241. dtor.cpp
  242. dtors-in-dtor-cfg-output.cpp
  243. dump_egraph.c
  244. dump_egraph.cpp
  245. dynamic-cast.cpp
  246. dynamic_type_check.m
  247. DynamicTypePropagation.m
  248. edges-new.mm
  249. egraph-asm-goto-no-crash.cpp
  250. element-region-address-space.c
  251. elementtype.c
  252. embed.c
  253. end-function-return-stmt.cpp
  254. enum-cast-out-of-range.c
  255. enum-cast-out-of-range.cpp
  256. enum.cpp
  257. equality_tracking.c
  258. errno-notes.c
  259. errno-options.c
  260. errno-stdlibraryfunctions-notes.c
  261. errno-stdlibraryfunctions.c
  262. errno.c
  263. eval-predefined-exprs.cpp
  264. exceptions.mm
  265. exercise-ps.c
  266. explain-svals.c
  267. explain-svals.cpp
  268. explain-svals.m
  269. expr-inspection-printState-diseq-info.c
  270. expr-inspection-printState-eq-classes.c
  271. expr-inspection.c
  272. expr-inspection.cpp
  273. exprwithcleanups-lifetime-marker-cfg.cpp
  274. fields.c
  275. find-binop-constraints.cpp
  276. fixed-address-notes.c
  277. fixed-point.c
  278. flexible-array-member.cpp
  279. flexible-array-members.c
  280. flexignore.c
  281. fread.c
  282. free.c
  283. free.cpp
  284. ftime-trace-bind.cpp
  285. ftime-trace-no-init.cpp
  286. ftime-trace-removeDead.cpp
  287. ftime-trace.cpp
  288. fuchsia_handle.cpp
  289. fuchsia_lock.c
  290. fuchsia_lock_impl.c
  291. func-mapping-test.cpp
  292. func.c
  293. gcdantipatternchecker_test.m
  294. generate_analyzer_options_docs.test
  295. generics.m
  296. getline-alloc.c
  297. getline-cpp.cpp
  298. getline-unixapi-invalid-signatures.c
  299. getline-unixapi.c
  300. gh-issue-89185.c
  301. global-region-invalidation-errno.c
  302. global-region-invalidation.c
  303. global_region_invalidation.mm
  304. globals-are-not-always-immutable.c
  305. globals.c
  306. globals.cpp
  307. gmalloc.c
  308. gtest.cpp
  309. handle_constructors_for_default_arguments.cpp
  310. handle_constructors_with_new_array.cpp
  311. hangs.c
  312. html-diag-singlefile.c
  313. html-diag-singlefile.h
  314. html-diags-analyze-headers.c
  315. html-diags-analyze-headers.h
  316. html-diags-multifile.c
  317. html-diags-multifile.h
  318. html-diags.c
  319. implicit-ctor-undef-value.cpp
  320. incorrect-checker-names.cpp
  321. incorrect-checker-names.mm
  322. index-type.c
  323. indirect-goto-basics.c
  324. infeasible-crash.c
  325. infeasible-sink.c
  326. initialization.c
  327. initialization.cpp
  328. initializer.cpp
  329. initializers-cfg-output.cpp
  330. inline-if-constexpr.cpp
  331. inline-not-supported.c
  332. inline-plist.c
  333. inline-unique-reports.c
  334. inline.c
  335. inline.cpp
  336. inline2.c
  337. inline3.c
  338. inline4.c
  339. inner-pointer.cpp
  340. int128-nocrash.c
  341. invalid-a-na-ly-zer-con-fig-value.c
  342. invalid-analyzer-config-value.c
  343. invalid-checker-option.c
  344. invalid-deref.c
  345. invalid-ptr-checker.c
  346. invalid-ptr-checker.cpp
  347. invalidated-iterator.cpp
  348. issue-124474.cpp
  349. issue-137252.cpp
  350. issue-157467.cpp
  351. issue-55019.cpp
  352. issue-70464.cpp
  353. issue-91835.cpp
  354. issue-94193.cpp
  355. Issue56873.cpp
  356. iterator-modeling-no-aggressive-binary-operation-simplification-no-crash.cpp
  357. iterator-modeling.cpp
  358. iterator-range.cpp
  359. ivars.m
  360. keychainAPI-diagnostic-visitor.m
  361. keychainAPI.m
  362. kmalloc-linux.c
  363. lambda-capture-structured-binding.cpp
  364. lambda-convert-to-func-ptr.cpp
  365. lambda-notes.cpp
  366. lambdas-generalized-capture.cpp
  367. lambdas-modern.cpp
  368. lambdas.cpp
  369. lambdas.mm
  370. lifetime-cfg-output.cpp
  371. lifetime-extended-regions.cpp
  372. lifetime-extension.cpp
  373. lifetime-extension.mm
  374. lit.local.cfg
  375. live-bindings-test.cpp
  376. live-stmts.cpp
  377. live-stmts.mm
  378. live-variables.cpp
  379. live-variables.m
  380. llvm-conventions.cpp
  381. loc-folding.cpp
  382. localization-aggressive.m
  383. localization.m
  384. logical-ops.c
  385. loop-assumptions.c
  386. loop-based-inlining-prevention.c
  387. loop-block-counts.c
  388. loop-unrolling.cpp
  389. loop-widening-ignore-static-methods.cpp
  390. loop-widening-notes.cpp
  391. loop-widening-preserve-reference-type.cpp
  392. loop-widening.c
  393. loop-widening.cpp
  394. loopexit-cfg-output.cpp
  395. lvalue.cpp
  396. lvalue_elements.c
  397. main.c
  398. main.cpp
  399. Malloc+MismatchedDeallocator+NewDelete.cpp
  400. Malloc+MismatchedDeallocator_intersections.cpp
  401. malloc-annotations.c
  402. malloc-annotations.cpp
  403. malloc-bodyfarms.c
  404. malloc-bodyfarms.cpp
  405. malloc-checker-arg-uaf.c
  406. malloc-custom.c
  407. malloc-fnptr-plist.c
  408. malloc-free-after-return.cpp
  409. malloc-interprocedural.c
  410. malloc-plist.c
  411. malloc-protoype.c
  412. malloc-refcounted.c
  413. malloc-sizeof.c
  414. malloc-sizeof.cpp
  415. malloc-static-storage.cpp
  416. malloc-std-namespace.cpp
  417. malloc-three-arg.c
  418. malloc.c
  419. malloc.cpp
  420. malloc.m
  421. malloc.mm
  422. max-nodes-suppress-on-sink.c
  423. max-nodes-suppress-on-sink.cpp
  424. member-expr.cpp
  425. memory-model.cpp
  426. MemRegion.cpp
  427. method-arg-decay.m
  428. method-call-intra-p.cpp
  429. method-call-path-notes.cpp
  430. method-call.cpp
  431. mig.mm
  432. misc-ps-64.m
  433. misc-ps-arm.m
  434. misc-ps-cxx0x.cpp
  435. misc-ps-eager-assume.m
  436. misc-ps-ranges.m
  437. misc-ps-region-store-i386.m
  438. misc-ps-region-store-x86_64.m
  439. misc-ps-region-store.cpp
  440. misc-ps-region-store.m
  441. misc-ps-region-store.mm
  442. misc-ps.c
  443. misc-ps.m
  444. mismatched-iterator.cpp
  445. MismatchedDeallocator-checker-test.mm
  446. MismatchedDeallocator-path-notes.cpp
  447. missing-bind-temporary.cpp
  448. missing-z3-nocrash.c
  449. MissingDealloc.m
  450. mmap-writeexec.c
  451. model-file-missing.cpp
  452. model-file.cpp
  453. more-dtors-cfg-output.cpp
  454. mpichecker.cpp
  455. mpicheckernotes.cpp
  456. MPIMock.h
  457. ms-seh.cpp
  458. mutually_exclusive_null_fp.cpp
  459. new-aligned.cpp
  460. new-ctor-conservative.cpp
  461. new-ctor-inlined.cpp
  462. new-ctor-malloc.cpp
  463. new-ctor-null-throw.cpp
  464. new-ctor-null.cpp
  465. new-ctor-recursive.cpp
  466. new-ctor-symbolic.cpp
  467. new-dynamic-types.cpp
  468. new-user-defined.cpp
  469. new-with-exceptions.cpp
  470. new.cpp
  471. NewDelete+MismatchedDeallocator_intersections.cpp
  472. NewDelete-atomics.cpp
  473. NewDelete-checker-test.cpp
  474. NewDelete-custom.cpp
  475. NewDelete-intersections.mm
  476. NewDelete-path-notes.cpp
  477. NewDelete-sized-deallocation.cpp
  478. NewDelete-variadic.cpp
  479. NewDeleteLeaks-PR18394.cpp
  480. NewDeleteLeaks-PR19102.cpp
  481. NewDeleteLeaks-PR60896.cpp
  482. NewDeleteLeaks.cpp
  483. nil-receiver-undefined-larger-than-voidptr-ret-region.m
  484. nil-receiver-undefined-larger-than-voidptr-ret.m
  485. nil-receiver.mm
  486. no-exit-cfg.c
  487. no-return.c
  488. no-store-suppression.cpp
  489. no-unreachable-dtors.cpp
  490. non-diagnosable-assumptions.c
  491. nonnull-global-constants.mm
  492. nonnull.cpp
  493. nonnull.m
  494. nonnullparamchecker-crash.cpp
  495. nonreturn-destructors-cfg-output.cpp
  496. NoReturn.m
  497. novoidtypecrash.c
  498. NSContainers.m
  499. NSPanel.m
  500. NSString.m
  501. NSWindow.m
  502. null-deref-offsets.c
  503. null-deref-path-notes.c
  504. null-deref-path-notes.cpp
  505. null-deref-path-notes.m
  506. null-deref-ps-region.c
  507. null-deref-ps.c
  508. null-deref-static.m
  509. null-pointer-arithm.c
  510. nullability-arc.mm
  511. nullability-no-arc.mm
  512. nullability-nocrash.c
  513. nullability-notes.m
  514. nullability.c
  515. nullability.m
  516. nullability.mm
  517. nullability_nullonly.mm
  518. nullptr.cpp
  519. number-object-conversion.c
  520. number-object-conversion.cpp
  521. number-object-conversion.m
  522. number-object-conversion.mm
  523. objc-arc.m
  524. objc-bool.m
  525. objc-boxing.m
  526. objc-encode.m
  527. objc-for.m
  528. objc-indirect-copy-restore.m
  529. objc-live-crash.mm
  530. objc-message.m
  531. objc-method-coverage.m
  532. objc-properties.m
  533. objc-radar17039661.m
  534. objc-string.mm
  535. objc-subscript.m
  536. objc_invalidation.m
  537. objcpp-uninitialized-object.mm
  538. ObjCProperties.m
  539. ObjCPropertiesSyntaxChecks.m
  540. ObjCRetSigs.m
  541. offsetofexpr-callback.c
  542. openmp-unsupported.c
  543. operator-calls.cpp
  544. os_object_base.h
  545. os_smart_ptr.h
  546. OSAtomic_mac.c
  547. OSAtomic_mac.cpp
  548. osobject-retain-release.cpp
  549. osobjectcstylecastchecker_test.cpp
  550. overloaded-delete-in-system-header.cpp
  551. override-werror.c
  552. padding_c.c
  553. padding_cpp.cpp
  554. padding_inherit.cpp
  555. padding_message.cpp
  556. padding_no_unique_address.cpp
  557. path-notes-impl-param.m
  558. pch_macro.cpp
  559. placement-new-user-defined.cpp
  560. placement-new.cpp
  561. plist-diagnostics-template-function.cpp
  562. plist-diagnostics-template-record.cpp
  563. plist-html-macros.c
  564. plist-macros-with-expansion-ctu.c
  565. plist-macros-with-expansion.c
  566. plist-macros-with-expansion.cpp
  567. plist-macros.cpp
  568. plist-output-alternate.m
  569. plist-output.m
  570. plist-stats-output.c
  571. pointer-arithmetic.c
  572. pointer-escape-on-conservative-calls.c
  573. pointer-sub-notes.c
  574. pointer-sub.c
  575. pointer-to-member.cpp
  576. PR121201.cpp
  577. PR12905.c
  578. PR135665.cpp
  579. pr22954.c
  580. PR24184.cpp
  581. PR2978.m
  582. PR35418.cpp
  583. pr37802.cpp
  584. PR37855.c
  585. PR38208.c
  586. PR3991.m
  587. PR40625.cpp
  588. pr4209.m
  589. PR46264.cpp
  590. PR47511.cpp
  591. PR49490.cpp
  592. PR49642.c
  593. PR50268.c
  594. PR57270.cpp
  595. PR60412.cpp
  596. PR7218.c
  597. PR9741.cpp
  598. pr_2542_rdar_6793404.m
  599. pr_4164.c
  600. pragma-diag-control.cpp
  601. preprocessor-setup.c
  602. print-ranges.cpp
  603. produce-symbolcast_x64.cpp
  604. produce-symbolcast_x86.cpp
  605. properties.m
  606. properties.mm
  607. pthreadlock.c
  608. pthreadlock_state.c
  609. pthreadlock_state_nottracked.c
  610. ptr-arith.c
  611. ptr-arith.cpp
  612. ptr-cmp-const-trunc.cl
  613. putenv-stack-array.c
  614. qt_malloc.cpp
  615. range_casts.c
  616. rdar-6442306-1.m
  617. rdar-6540084.m
  618. rdar-6562655.m
  619. rdar-6600344-nil-receiver-undefined-struct-ret.m
  620. rdar-7168531.m
  621. redecl.c
  622. redefined_system.c
  623. refcnt_naming.m
  624. reference.cpp
  625. region-1.m
  626. region-store.c
  627. region-store.cpp
  628. region_store_overflow.c
  629. reinterpret-cast-pointer-to-member.cpp
  630. reinterpret-cast.cpp
  631. report-uniqueing.cpp
  632. retain-count-alloc.cpp
  633. retain-release-arc.m
  634. retain-release-cache-out.m
  635. retain-release-cf-audited.m
  636. retain-release-compound-literal.m
  637. retain-release-cpp-classes.cpp
  638. retain-release-inline.m
  639. retain-release-path-notes.m
  640. retain-release-region-store.m
  641. retain-release-safe.c
  642. retain-release.m
  643. retain-release.mm
  644. retaincountchecker-compoundregion.m
  645. return-ptr-range.cpp
  646. return-stmt-merge.cpp
  647. return-value-guaranteed.cpp
  648. returns_nonnull-attribute.cpp
  649. runtime-regression.c
  650. rvo.cpp
  651. scopes-cfg-output.cpp
  652. security-deprecated-buffer-handling-report-modes.c
  653. security-syntax-checks-no-emit.c
  654. security-syntax-checks-nscoder.m
  655. security-syntax-checks.c
  656. security-syntax-checks.m
  657. self-assign.cpp
  658. self-init.m
  659. setgid-setuid-order-notes.c
  660. setgid-setuid-order.c
  661. shallow-mode.m
  662. short-circuiting-eval.cpp
  663. show-checker-list.c
  664. silence-checkers-and-packages-core-all.cpp
  665. silence-checkers-and-packages-core-div-by-zero.cpp
  666. silence-checkers.cpp
  667. simple-stream-checks.c
  668. sizeofpack.cpp
  669. smart-ptr-text-output.cpp
  670. smart-ptr.cpp
  671. solver-sym-simplification-adjustment.c
  672. solver-sym-simplification-bool.cpp
  673. solver-sym-simplification-concreteint.c
  674. solver-sym-simplification-no-crash.c
  675. solver-sym-simplification-no-crash2.c
  676. solver-sym-simplification-ptr-bool.cl
  677. solver-sym-simplification-with-proper-range-type.c
  678. SpecialFunctionsCFError.cpp
  679. stack-addr-ps.c
  680. stack-addr-ps.cpp
  681. stack-block-returned.cpp
  682. stack-capture-leak-arc.mm
  683. stack-capture-leak-no-arc.mm
  684. stack-frame-context-revision.cpp
  685. stackaddrleak.c
  686. stackaddrleak.cpp
  687. static_local.m
  688. stats.c
  689. std-c-library-functions-arg-constraints-note-tags.cpp
  690. std-c-library-functions-arg-constraints-notes.cpp
  691. std-c-library-functions-arg-constraints-tracking-notes.c
  692. std-c-library-functions-arg-constraints.c
  693. std-c-library-functions-arg-constraints.cpp
  694. std-c-library-functions-arg-cstring-dependency.c
  695. std-c-library-functions-arg-enabled-checkers.c
  696. std-c-library-functions-arg-weakdeps.c
  697. std-c-library-functions-char-uchar-conv.c
  698. std-c-library-functions-eof-2-rad.c
  699. std-c-library-functions-eof.c
  700. std-c-library-functions-inlined.c
  701. std-c-library-functions-lookup.c
  702. std-c-library-functions-lookup.cpp
  703. std-c-library-functions-path-notes.c
  704. std-c-library-functions-POSIX-lookup.c
  705. std-c-library-functions-POSIX-socket-sockaddr.cpp
  706. std-c-library-functions-POSIX.c
  707. std-c-library-functions-restrict.c
  708. std-c-library-functions-restrict.cpp
  709. std-c-library-functions-vs-stream-checker.c
  710. std-c-library-functions.c
  711. std-c-library-functions.cpp
  712. std-c-library-posix-crash.c
  713. std-string.cpp
  714. std-variant-checker.cpp
  715. stl-algorithm-modeling-aggressive-std-find-modeling.cpp
  716. stl-algorithm-modeling.cpp
  717. store-dump-orders.cpp
  718. store-to-immutable-basic.c
  719. store-to-immutable-basic.cpp
  720. store-to-immutable-lambda-init.cpp
  721. store-union-aggregates.c
  722. stream-errno-note.c
  723. stream-errno.c
  724. stream-error.c
  725. stream-invalidate.c
  726. stream-non-posix-function.c
  727. stream-noopen.c
  728. stream-note.c
  729. stream-notes-missing-close.cpp
  730. stream-pedantic.c
  731. stream-stdlibraryfunctionargs.c
  732. stream.c
  733. stream.cpp
  734. string-fail.c
  735. string-with-signedness.c
  736. string.c
  737. string.cpp
  738. string_notnullterm.c
  739. structured_bindings.cpp
  740. superclass.m
  741. suppress-dereferences-from-any-address-space.c
  742. suppress-namespace-redecl-core.cpp
  743. suppress-namespace-redecl-webkit.cpp
  744. suppression-attr-doc.cpp
  745. suppression-attr.cpp
  746. suppression-attr.m
  747. sval-dump-int128.c
  748. svalbuilder-casts.cpp
  749. svalbuilder-float-cast.c
  750. svalbuilder-logic.c
  751. svalbuilder-rearrange-comparisons.cpp
  752. svalbuilder-simplify-compound-svals.cpp
  753. svalbuilder-simplify-in-evalbinop.cpp
  754. svalbuilder-simplify-intsym.cpp
  755. svalbuilder-simplify-no-crash.c
  756. switch-basics.c
  757. switch-case.c
  758. symbol-escape.cpp
  759. symbol-reaper-lambda.cpp
  760. symbol-reaper.c
  761. symbol-reaper.cpp
  762. symbol-simplification-assertion.c
  763. symbol-simplification-bo-div.c
  764. symbol-simplification-disequality-info.cpp
  765. symbol-simplification-fixpoint-iteration-unreachable-code.cpp
  766. symbol-simplification-fixpoint-one-iteration.cpp
  767. symbol-simplification-fixpoint-two-iterations.cpp
  768. symbol-simplification-nonloc-loc.cpp
  769. symbol-simplification-reassume.cpp
  770. symbol-simplification-symplify-results-in-dead-symbol.cpp
  771. symbolcast-floatingpoint.cpp
  772. taint-checker-callback-order-has-definition.c
  773. taint-checker-callback-order-without-definition.c
  774. taint-diagnostic-visitor.c
  775. taint-dumps.c
  776. taint-generic.c
  777. taint-generic.cpp
  778. taint-tester.c
  779. taint-tester.cpp
  780. taint-tester.m
  781. temp-obj-dtors-cfg-output.cpp
  782. temp-obj-dtors-option.cpp
  783. template-param-objects.cpp
  784. templates.cpp
  785. temporaries-callback-order.cpp
  786. temporaries.cpp
  787. temporaries.mm
  788. test-after-div-zero.c
  789. test-include-cpp.cpp
  790. test-include-cpp.h
  791. test-include.c
  792. test-include.h
  793. test-objc-non-nil-return-value-checker.m
  794. test-separate-retaincount.cpp
  795. test-variably-modified-types.c
  796. this-pointer.cpp
  797. thread-safety-handle-parenthesis.cpp
  798. track-control-dependency-conditions.cpp
  799. track-control-dependency-conditions.m
  800. transparent_union_bug.c
  801. traversal-begin-end-function.c
  802. traversal-path-unification.c
  803. trivial-copy-struct.cpp
  804. trustnonnullchecker_test.m
  805. trustnonnullchecker_test.mm
  806. unary-sym-expr-no-crash.c
  807. unary-sym-expr-z3-refutation.c
  808. unary-sym-expr.c
  809. undef-buffers.c
  810. undef-call.c
  811. undefined-new-element.cpp
  812. uninit-bug-first-iteration-init.c
  813. uninit-const.c
  814. uninit-const.cpp
  815. uninit-exhaustive-switch-bug.c
  816. uninit-ps-rdar6145427.m
  817. uninit-structured-binding-array.cpp
  818. uninit-structured-binding-struct.cpp
  819. uninit-structured-binding-tuple.cpp
  820. uninit-val-const-likeness.c
  821. uninit-vals-union.c
  822. uninit-vals.c
  823. uninit-vals.cpp
  824. uninit-vals.m
  825. uninitialized-branch.c
  826. unions-region.m
  827. unions.cpp
  828. unix-api.c
  829. unix-api.cpp
  830. unix-fns-o_creat.c
  831. unix-fns.c
  832. unreachable-code-exceptions.cpp
  833. unreachable-code-path.c
  834. unsupported-types.c
  835. unused-ivars.m
  836. use-after-move-invalidation.cpp
  837. use-after-move.cpp
  838. UserNullabilityAnnotations.m
  839. valist-as-lazycompound.c
  840. valist-uninitialized-no-undef.c
  841. valist-uninitialized.c
  842. valist-unterminated.c
  843. variadic-method-types.m
  844. vector.m
  845. vfork.c
  846. virtualcall-fixits.cpp
  847. virtualcall-plist.cpp
  848. virtualcall.cpp
  849. virtualcall.h
  850. vla-overflow.c
  851. vla.c
  852. void-call-exit-modelling.c
  853. weak-dependencies.c
  854. weak-functions.c
  855. wstring.c
  856. yaccignore.c
  857. z3-crosscheck-max-attempts.cpp
  858. z3-crosscheck.c
  859. z3-refute-enum-crash.cpp
  860. z3-unarysymexpr.c
  861. zero-operands.c
  862. zero-size-non-pod-array.cpp