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