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