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