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