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