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