{
  "repository": "tokio-rs/tokio",
  "ref": "f67444986f673811950c1c3cdb0761eedc8a88ff",
  "methods": [
    {
      "slug": "formal",
      "title": "Formal verification and model checking"
    },
    {
      "slug": "static_analysis",
      "title": "Static analysis"
    },
    {
      "slug": "testing",
      "title": "Testing"
    },
    {
      "slug": "formatting",
      "title": "Formatting and hygiene"
    },
    {
      "slug": "supply_chain",
      "title": "Supply chain"
    },
    {
      "slug": "unclassified",
      "title": "Unclassified"
    }
  ],
  "verifications": [
    {
      "tool": "loom",
      "method": "formal",
      "commands": [
        "loom via environment"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.loom-compile.steps[3] (build --cfg loom)"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-blocking.steps[0]"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-blocking.steps[1] (Install Rust ${{ env.rust_stable }})"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-blocking.steps[2]"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-blocking.steps[3] (run tests)"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-sync.steps[0]"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-sync.steps[1] (Install Rust ${{ env.rust_stable }})"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-sync.steps[2]"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-sync.steps[3] (run tests)"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-time-driver.steps[0]"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-time-driver.steps[1] (Install Rust ${{ env.rust_stable }})"
        },
        {
          "path": ".github/workflows/loom.yml",
          "locator": "jobs.loom-time-driver.steps[2]"
        }
      ],
      "upstream": "https://github.com/tokio-rs/loom",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "miri",
      "method": "formal",
      "commands": [
        "cargo miri nextest run --features full --lib --no-fail-fast",
        "cargo miri nextest run --features full --test * --no-fail-fast",
        "cargo miri test --doc --features $TOKIO_STABLE_FEATURES --no-fail-fast"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.miri-lib.steps[4] (miri)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.miri-test.steps[4] (miri)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.miri-doc.steps[3] (miri-doc-test)"
        }
      ],
      "upstream": "https://github.com/rust-lang/miri",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-check",
      "method": "static_analysis",
      "commands": [
        "cargo check --benches",
        "cargo check --workspace --tests --features $TOKIO_STABLE_FEATURES",
        "cargo check --workspace --exclude tokio --tests --features $TOKIO_STABLE_FEATURES",
        "cargo check --workspace --features $TOKIO_STABLE_FEATURES --target $EXPR",
        "cargo check -p tokio --all-features"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-integration-tests-per-feature.steps[6] (Check benches)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-parking_lot.steps[4] (Check tests --features ${{ env.TOKIO_STABLE_FEATURES }})"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.cross-check.steps[3]"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.minrust.steps[4] (cargo check)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.check-redox.steps[2] (check tokio on redox)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "clippy",
      "method": "static_analysis",
      "commands": [
        "cargo clippy --workspace --tests --no-deps --features $TOKIO_STABLE_FEATURES",
        "cargo clippy --workspace --exclude tokio --tests --no-deps --features $TOKIO_STABLE_FEATURES",
        "cargo clippy --workspace --tests --no-deps --all-features",
        "cargo clippy --workspace --exclude tokio --tests --no-deps --all-features"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.clippy.steps[3] (clippy --workspace --features ${{ env.TOKIO_STABLE_FEATURES }})"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.clippy.steps[4] (clippy --workspace --all-features --unstable)"
        }
      ],
      "upstream": "https://github.com/rust-lang/rust-clippy",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-fuzz",
      "method": "testing",
      "commands": [
        "cargo fuzz check --all-features"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.check-fuzzing.steps[4] (Check /tokio/)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.check-fuzzing.steps[5] (Check /tokio-stream/)"
        },
        {
          "path": "tokio-stream/fuzz/fuzz_targets/fuzz_stream_map.rs",
          "locator": "2 file(s)"
        }
      ],
      "upstream": "https://github.com/rust-fuzz/cargo-fuzz",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-hack",
      "method": "testing",
      "commands": [
        "cargo hack test --each-feature",
        "cargo hack check -Zbuild-std --workspace --each-feature --target $EXPR --exclude-features $EXPR",
        "cargo hack check -Zbuild-std --target target-specs/i686-unknown-linux-gnu.json -p tokio --feature-powerset --skip io-uring,schedule-latency --depth 2 --keep-going",
        "cargo hack check --all --feature-powerset --exclude-features $EXPR --depth 2 --keep-going",
        "cargo hack check -p tokio-macros -p tokio-stream -p tokio-util -p tokio-test --all-features"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-integration-tests-per-feature.steps[4] (test tests-integration --each-feature)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-integration-tests-per-feature.steps[5] (test tests-build --each-feature)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.cross-check-tier3.steps[4]"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.no-atomic-u64-check.steps[4] (Check)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.features.steps[4] (check --feature-powerset ${{ matrix.name }})"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.minrust.steps[4] (cargo check)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.minimal-versions.steps[4] (check -Z minimal-versions)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.minimal-versions.steps[5] (check --all-features --unstable -Z minimal-versions)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.wasm32-unknown-emscripten.steps[6] (Check tokio feature matrix for emscripten)"
        }
      ],
      "upstream": "https://github.com/taiki-e/cargo-hack",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-test",
      "method": "testing",
      "commands": [
        "cargo nextest run --features full",
        "cargo test --doc --features full",
        "cargo nextest run --workspace --features $TOKIO_STABLE_FEATURES",
        "cargo nextest run --workspace --exclude tokio --exclude examples --features $TOKIO_STABLE_FEATURES",
        "cargo test --doc --workspace --features $TOKIO_STABLE_FEATURES"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-tokio-full.steps[4] (test tokio full)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-workspace-all-features.steps[4] (test --features ${{ env.TOKIO_STABLE_FEATURES }})"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-workspace-all-features-panic-abort.steps[4] (test --features ${{ env.TOKIO_STABLE_FEATURES }} panic=abort)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-unstable.steps[4] (test tokio full --cfg unstable)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-sharded-blocking-queue.steps[4] (test tokio full with sharded blocking queue)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-unstable-taskdump.steps[4] (test tokio full --cfg unstable --cfg taskdump)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.check-unstable-mt-counters.steps[4] (check tokio full --cfg unstable --cfg internal-mt-counters)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.asan.steps[4] (asan)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.cross-test-with-parking_lot.steps[5] (Tests run with all features (including parking_lot))"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.cross-test-without-parking_lot.steps[6] (Tests run with all features (without parking_lot))"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.no-atomic-u64-test.steps[5] (test tokio --all-features)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.loom-compile.steps[3] (build --cfg loom)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "ci-matrix",
      "method": "testing",
      "commands": [
        "test-tokio-full (os: 3)",
        "test-workspace-all-features (os: 3)",
        "test-workspace-all-features-panic-abort (os: 3)",
        "test-integration-tests-per-feature (os: 3)",
        "test-unstable (include: 4)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-tokio-full.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-workspace-all-features.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-workspace-all-features-panic-abort.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-integration-tests-per-feature.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-unstable.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.test-unstable-taskdump.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.check-unstable-mt-counters.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.cross-check.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.cross-check-tier3.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.cross-test-with-parking_lot.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.cross-test-without-parking_lot.strategy.matrix"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.features.strategy.matrix"
        }
      ],
      "upstream": "https://docs.github.com/en/actions/how-tos/write-workflows/choose-what-workflows-do/run-job-variations",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "proptest",
      "method": "testing",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "tokio/Cargo.toml",
          "locator": "[target.'cfg(not(target_family = \"wasm\"))'.dev-dependencies]: proptest"
        }
      ],
      "upstream": "https://github.com/proptest-rs/proptest",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-deny",
      "method": "supply_chain",
      "commands": [
        "uses EmbarkStudios/cargo-deny-action"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/audit.yml",
          "locator": "jobs.cargo-deny.steps[1]"
        },
        {
          "path": ".github/workflows/pr-audit.yml",
          "locator": "jobs.cargo-deny.steps[1]"
        },
        {
          "path": "deny.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/EmbarkStudios/cargo-deny",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cargo check-external-types --features $TOKIO_STABLE_FEATURES,$EXPR"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.check-external-types.steps[4] (check-external-types)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "valgrind --error-exitcode=1 --leak-check=full --show-leak-kinds=all --fair-sched=yes ./target/debug/test-mem"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.valgrind.steps[5] (Run valgrind test-mem)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "valgrind --error-exitcode=1 --leak-check=full --show-leak-kinds=all --fair-sched=yes ./target/debug/test-process-signal"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.valgrind.steps[7] (Run valgrind test-process-signal)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "valgrind --error-exitcode=1 --leak-check=full --show-leak-kinds=all --fair-sched=yes ./target/release/examples/$EXPR"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/stress-test.yml",
          "locator": "jobs.stress-test.steps[5] (Run valgrind)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "wasm-pack test --node -- --features $EXPR"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.wasm32-unknown-unknown.steps[4] (test tokio (${{ matrix.name }}))"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}