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