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