Dependencies · model-checking/kani · GitHub

Dependency graph

429 Total

actions/checkout 6.*.*

GitHub Actions · .github/workflows/format-check.yml · Detected automatically on Nov 25, 2025
Paths for actions/checkout 6.*.*
Paths for actions/checkout 6.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 2

GitHub Actions · .github/workflows/rmc.yml · Detected automatically on Jan 17, 2022
Paths for actions/checkout 2
Paths for actions/checkout 2
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
JamesIves/github-pages-deploy-action 4.1.4

GitHub Actions · .github/workflows/rmc.yml · Detected automatically on Jan 17, 2022
Paths for JamesIves/github-pages-deploy-action 4.1.4
Paths for JamesIves/github-pages-deploy-action 4.1.4
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 6.*.*

GitHub Actions · .github/workflows/kani.yml · Detected automatically on Nov 25, 2025
Paths for actions/checkout 6.*.*
Paths for actions/checkout 6.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
JamesIves/github-pages-deploy-action 4.*.*

GitHub Actions · .github/workflows/kani.yml · Detected automatically on Nov 25, 2025
Paths for JamesIves/github-pages-deploy-action 4.*.*
Paths for JamesIves/github-pages-deploy-action 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 6.*.*

GitHub Actions · .github/workflows/release.yml · Detected automatically on Mar 16, 2026
Paths for actions/checkout 6.*.*
Paths for actions/checkout 6.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/download-artifact 8.*.*

GitHub Actions · .github/workflows/release.yml · Detected automatically on Mar 16, 2026
Paths for actions/download-artifact 8.*.*
Paths for actions/download-artifact 8.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
docker/build-push-action 7.*.*

GitHub Actions · .github/workflows/release.yml · Detected automatically on Mar 16, 2026
Paths for docker/build-push-action 7.*.*
Paths for docker/build-push-action 7.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
docker/login-action 4.*.*

GitHub Actions · .github/workflows/release.yml · Detected automatically on Mar 16, 2026
Paths for docker/login-action 4.*.*
Paths for docker/login-action 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
ncipollo/release-action 1.21.0

GitHub Actions · .github/workflows/release.yml · Detected automatically on Mar 16, 2026
Paths for ncipollo/release-action 1.21.0
Paths for ncipollo/release-action 1.21.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
ahash 0.8.12

Rust · Cargo.lock · Detected automatically on May 11, 2026 · MIT OR Apache-2.0
Paths for ahash 0.8.12
Paths for ahash 0.8.12
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
aho-corasick 1.1.4

Rust · Cargo.lock · Detected automatically on May 11, 2026 · Unlicense OR MIT
Paths for aho-corasick 1.1.4
Paths for aho-corasick 1.1.4
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
android_system_properties 0.1.5

Rust · Cargo.lock · Detected automatically on May 11, 2026 · MIT OR Apache-2.0
Paths for android_system_properties 0.1.5
Paths for android_system_properties 0.1.5
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
annotate-snippets 0.11.5

Rust · Cargo.lock · Detected automatically on May 11, 2026 · MIT OR Apache-2.0
Paths for annotate-snippets 0.11.5
Paths for annotate-snippets 0.11.5
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
anstream 0.6.21

Rust · Cargo.lock · Detected automatically on May 11, 2026 · MIT OR Apache-2.0
Paths for anstream 0.6.21
Paths for anstream 0.6.21
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
anstream 1.0.0

Rust · Cargo.lock · Detected automatically on May 11, 2026 · MIT OR Apache-2.0
Paths for anstream 1.0.0
Paths for anstream 1.0.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
anstyle 1.0.14

Rust · Cargo.lock · Detected automatically on May 11, 2026 · MIT OR Apache-2.0
Paths for anstyle 1.0.14
Paths for anstyle 1.0.14
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
anstyle-parse 0.2.7

Rust · Cargo.lock · Detected automatically on May 11, 2026 · MIT OR Apache-2.0
Paths for anstyle-parse 0.2.7
Paths for anstyle-parse 0.2.7
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
anstyle-parse 1.0.0

Rust · Cargo.lock · Detected automatically on May 11, 2026 · MIT OR Apache-2.0
Paths for anstyle-parse 1.0.0
Paths for anstyle-parse 1.0.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
anstyle-query 1.1.5

Rust · Cargo.lock · Detected automatically on May 11, 2026 · MIT OR Apache-2.0
Paths for anstyle-query 1.1.5
Paths for anstyle-query 1.1.5
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive

ProTip! Supported ecosystems will have transitivity labels on their packages.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Dependency graph

Filter by ecosystem

Sorry, something went wrong.

No ecosystems found.

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Insights: model-checking/kani

Dependency graph