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