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