Dependencies · aws/aws-encryption-sdk-dafny

Dependency graph

105 Total

coverlet.collector 1.0.1

NuGet · test/AWSEncryptionSDKTests.csproj · Detected automatically on May 17, 2022 · MIT
Paths for coverlet.collector 1.0.1
Paths for coverlet.collector 1.0.1
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
dafny.msbuild 1.0.0

NuGet · test/AWSEncryptionSDKTests.csproj · Detected automatically on May 17, 2022
Paths for dafny.msbuild 1.0.0
Paths for dafny.msbuild 1.0.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
Microsoft.NET.Test.Sdk 16.11.0

NuGet · test/AWSEncryptionSDKTests.csproj · Detected automatically on May 17, 2022 · OTHER
Paths for Microsoft.NET.Test.Sdk 16.11.0
Paths for Microsoft.NET.Test.Sdk 16.11.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
xunit 2.4.0

NuGet · test/AWSEncryptionSDKTests.csproj · Detected automatically on May 17, 2022 · Apache-2.0
Paths for xunit 2.4.0
Paths for xunit 2.4.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
xunit.runner.visualstudio 2.4.0

NuGet · test/AWSEncryptionSDKTests.csproj · Detected automatically on May 17, 2022 · Apache-2.0
Paths for xunit.runner.visualstudio 2.4.0
Paths for xunit.runner.visualstudio 2.4.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 2

GitHub Actions · .github/workflows/ci_static-analysis.yaml · Detected automatically on Nov 21, 2023
Paths for actions/checkout 2
Paths for actions/checkout 2
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
mattsb42-meta/not-grep 1.0.0

GitHub Actions · .github/workflows/ci_static-analysis.yaml · Detected automatically on Nov 21, 2023
Paths for mattsb42-meta/not-grep 1.0.0
Paths for mattsb42-meta/not-grep 1.0.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 3

GitHub Actions · .github/workflows/duvet.yaml · Detected automatically on Nov 21, 2023
Paths for actions/checkout 3
Paths for actions/checkout 3
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/upload-artifact 3

GitHub Actions · .github/workflows/duvet.yaml · Detected automatically on Nov 21, 2023
Paths for actions/upload-artifact 3
Paths for actions/upload-artifact 3
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 2.*.*

GitHub Actions · .github/workflows/library_dafny_verification.yml · Detected automatically on Nov 13, 2024
Paths for actions/checkout 2.*.*
Paths for actions/checkout 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-dotnet 3.*.*

GitHub Actions · .github/workflows/library_dafny_verification.yml · Detected automatically on Nov 13, 2024
Paths for actions/setup-dotnet 3.*.*
Paths for actions/setup-dotnet 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
dafny-lang/setup-dafny-action 1.7.0

GitHub Actions · .github/workflows/library_dafny_verification.yml · Detected automatically on Nov 13, 2024
Paths for dafny-lang/setup-dafny-action 1.7.0
Paths for dafny-lang/setup-dafny-action 1.7.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 3.*.*

GitHub Actions · .github/workflows/library_java_tests.yml · Detected automatically on Nov 13, 2024
Paths for actions/checkout 3.*.*
Paths for actions/checkout 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-java 3.*.*

GitHub Actions · .github/workflows/library_java_tests.yml · Detected automatically on Nov 13, 2024
Paths for actions/setup-java 3.*.*
Paths for actions/setup-java 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
aws-actions/configure-aws-credentials 2.*.*

GitHub Actions · .github/workflows/library_java_tests.yml · Detected automatically on Nov 13, 2024
Paths for aws-actions/configure-aws-credentials 2.*.*
Paths for aws-actions/configure-aws-credentials 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
dafny-lang/setup-dafny-action 1.7.0

GitHub Actions · .github/workflows/library_java_tests.yml · Detected automatically on Nov 13, 2024
Paths for dafny-lang/setup-dafny-action 1.7.0
Paths for dafny-lang/setup-dafny-action 1.7.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
gradle/gradle-build-action 2.*.*

GitHub Actions · .github/workflows/library_java_tests.yml · Detected automatically on Nov 13, 2024
Paths for gradle/gradle-build-action 2.*.*
Paths for gradle/gradle-build-action 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 2.*.*

GitHub Actions · .github/workflows/library_net_tests.yml · Detected automatically on Nov 13, 2024
Paths for actions/checkout 2.*.*
Paths for actions/checkout 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-dotnet 3.*.*

GitHub Actions · .github/workflows/library_net_tests.yml · Detected automatically on Nov 13, 2024
Paths for actions/setup-dotnet 3.*.*
Paths for actions/setup-dotnet 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
aws-actions/configure-aws-credentials 2.*.*

GitHub Actions · .github/workflows/library_net_tests.yml · Detected automatically on Nov 13, 2024
Paths for aws-actions/configure-aws-credentials 2.*.*
Paths for aws-actions/configure-aws-credentials 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Dependency graph

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Insights: aws/aws-encryption-sdk-dafny

Dependency graph