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