| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
loom |
Concurrency model checking | loom via environment |
ci | .github/workflows/ci.yml .github/workflows/loom.yml |
miri |
Undefined-behaviour detection | cargo miri nextest run --features full --lib --no-fail-fastcargo miri nextest run --features full --test * --no-fail-fastcargo miri test --doc --features $TOKIO_STABLE_FEATURES --no-fail-fast |
ci | .github/workflows/ci.yml |
Static analysis
2 tools
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
cargo-check |
Type checking | cargo check --benchescargo check --workspace --tests --features $TOKIO_STABLE_FEATUREScargo check --workspace --exclude tokio --tests --features $TOKIO_STABLE_FEAT... |
ci | .github/workflows/ci.yml |
clippy |
Linting | cargo clippy --workspace --tests --no-deps --features $TOKIO_STABLE_FEATUREScargo clippy --workspace --exclude tokio --tests --no-deps --features $TOKIO_...cargo clippy --workspace --tests --no-deps --all-features |
ci | .github/workflows/ci.yml |
Testing
5 tools
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
cargo-fuzz |
Fuzzing | cargo fuzz check --all-features |
ci | .github/workflows/ci.yml tokio-stream/fuzz/fuzz_targets/fuzz_stream_map.rs |
cargo-hack |
Version and platform matrix | cargo hack test --each-featurecargo hack check -Zbuild-std --workspace --each-feature --target $EXPR --excl...cargo hack check -Zbuild-std --target target-specs/i686-unknown-linux-gnu.jso... |
ci | .github/workflows/ci.yml |
cargo-test |
Unit and integration tests | cargo nextest run --features fullcargo test --doc --features fullcargo nextest run --workspace --features $TOKIO_STABLE_FEATURES |
ci | .github/workflows/ci.yml |
ci-matrix |
Version and platform matrix | test-tokio-full (os: 3)test-workspace-all-features (os: 3)test-workspace-all-features-panic-abort (os: 3) |
ci | .github/workflows/ci.yml |
proptest |
Property-based tests | tokio/Cargo.toml |
Supply chain
1 tool
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
cargo-deny |
Dependency audit | uses EmbarkStudios/cargo-deny-action |
ci | .github/workflows/audit.yml .github/workflows/pr-audit.yml deny.toml |
5 other commands the scanner could not classify
Commands from CI steps and task runners that look like checks but match no known tool. Some are checks, some are not.
cargo check-external-types --features $TOKIO_STABLE_FEATURES,$EXPRvalgrind --error-exitcode=1 --leak-check=full --show-leak-kinds=all --fair-sched=yes ./target/debug/test-memvalgrind --error-exitcode=1 --leak-check=full --show-leak-kinds=all --fair-sched=yes ./target/debug/test-process-signalvalgrind --error-exitcode=1 --leak-check=full --show-leak-kinds=all --fair-sched=yes ./target/release/examples/$EXPRwasm-pack test --node -- --features $EXPR
Review prompts
most discussed first