Skip to content

Insights: KeYProject/key

Dependency graph

Clear
165 Total

Filter by ecosystem

  • antlr:antlr 2.7.7 Direct
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · BSD-3-Clause

    Paths for antlr:antlr 2.7.7

    Paths for antlr:antlr 2.7.7
    Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive
  • backport-util-concurrent:backport-util-concurrent 3.1 Transitive
    Show dependency options

    View transitive paths

    You can view transitive paths for packages within supported ecosystems. Learn more

    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · CC-PDDC

    Paths for backport-util-concurrent:backport-util-concurrent 3.1

    Paths for backport-util-concurrent:backport-util-concurrent 3.1
    Showing 3 paths. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • net.sf.retrotranslator:retrotranslator-runtime 1.2.9 backport-util-concurrent:backport-util-concurrent 3.1
    • net.sf.retrotranslator:retrotranslator-transformer 1.2.9 ... backport-util-concurrent:backport-util-concurrent 3.1
    • net.sf.retrotranslator:retrotranslator-transformer 1.2.9 backport-util-concurrent:backport-util-concurrent 3.1
  • ca.coglinc:javacc-gradle-plugin 2.4.0 Direct
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · MIT

    Paths for ca.coglinc:javacc-gradle-plugin 2.4.0

    Paths for ca.coglinc:javacc-gradle-plugin 2.4.0
    Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive
  • ch.qos.logback:logback-classic 1.5.12 Direct
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · EPL-1.0 OR LGPL-2.1-only

    Paths for ch.qos.logback:logback-classic 1.5.12

    Paths for ch.qos.logback:logback-classic 1.5.12
    Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive
  • ch.qos.logback:logback-core 1.5.12 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · EPL-1.0 AND LGPL-2.1 AND LGPL-2.1-only

    Paths for ch.qos.logback:logback-core 1.5.12

    Paths for ch.qos.logback:logback-core 1.5.12
    Showing 1 path. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • ch.qos.logback:logback-classic 1.5.12 ch.qos.logback:logback-core 1.5.12
  • com.beust:jcommander 1.48 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.beust:jcommander 1.48

    Paths for com.beust:jcommander 1.48
    Showing 1 path. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • net.sourceforge.pmd:pmd-java 6.53.0 ... com.beust:jcommander 1.48
  • com.diffplug.durian:durian-collect 1.2.0 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.diffplug.durian:durian-collect 1.2.0

    Paths for com.diffplug.durian:durian-collect 1.2.0
    Showing 2 paths. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • com.diffplug.spotless:spotless-plugin-gradle 6.25.0 ... com.diffplug.durian:durian-collect 1.2.0
    • com.diffplug.spotless:spotless-plugin-gradle 6.25.0 com.diffplug.durian:durian-collect 1.2.0
  • com.diffplug.durian:durian-core 1.2.0 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.diffplug.durian:durian-core 1.2.0

    Paths for com.diffplug.durian:durian-core 1.2.0
    Showing 2 paths. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • com.diffplug.spotless:spotless-plugin-gradle 6.25.0 com.diffplug.durian:durian-core 1.2.0
    • com.diffplug.spotless:spotless-plugin-gradle 6.25.0 ... com.diffplug.durian:durian-core 1.2.0
  • com.diffplug.durian:durian-io 1.2.0 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.diffplug.durian:durian-io 1.2.0

    Paths for com.diffplug.durian:durian-io 1.2.0
    Showing 1 path. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • com.diffplug.spotless:spotless-plugin-gradle 6.25.0 com.diffplug.durian:durian-io 1.2.0
  • com.diffplug.durian:durian-swt.os 4.2.2 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.diffplug.durian:durian-swt.os 4.2.2

    Paths for com.diffplug.durian:durian-swt.os 4.2.2
    Showing 1 path. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • com.diffplug.spotless:spotless-plugin-gradle 6.25.0 ... com.diffplug.durian:durian-swt.os 4.2.2
  • com.diffplug.spotless:spotless-lib 2.45.0 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.diffplug.spotless:spotless-lib 2.45.0

    Paths for com.diffplug.spotless:spotless-lib 2.45.0
    Showing 2 paths. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • com.diffplug.spotless:spotless-plugin-gradle 6.25.0 com.diffplug.spotless:spotless-lib 2.45.0
    • com.diffplug.spotless:spotless-plugin-gradle 6.25.0 ... com.diffplug.spotless:spotless-lib 2.45.0
  • com.diffplug.spotless:spotless-lib-extra 2.45.0 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.diffplug.spotless:spotless-lib-extra 2.45.0

    Paths for com.diffplug.spotless:spotless-lib-extra 2.45.0
    Showing 1 path. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • com.diffplug.spotless:spotless-plugin-gradle 6.25.0 com.diffplug.spotless:spotless-lib-extra 2.45.0
  • com.diffplug.spotless:spotless-plugin-gradle 6.25.0 Direct
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.diffplug.spotless:spotless-plugin-gradle 6.25.0

    Paths for com.diffplug.spotless:spotless-plugin-gradle 6.25.0
    Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive
  • com.github.johnrengelman:shadow 8.1.1 Direct
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024

    Paths for com.github.johnrengelman:shadow 8.1.1

    Paths for com.github.johnrengelman:shadow 8.1.1
    Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive
  • com.google.code.findbugs:jsr305 3.0.2 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · BSD-3-Clause

    Paths for com.google.code.findbugs:jsr305 3.0.2

    Paths for com.google.code.findbugs:jsr305 3.0.2
    Showing 1 path. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • com.puppycrawl.tools:checkstyle 10.6.0 ... com.google.code.findbugs:jsr305 3.0.2
  • com.google.code.gson:gson 2.8.9 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.google.code.gson:gson 2.8.9

    Paths for com.google.code.gson:gson 2.8.9
    Showing 1 path. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • net.sourceforge.pmd:pmd-java 6.53.0 ... com.google.code.gson:gson 2.8.9
  • com.google.errorprone:error_prone_annotations 2.11.0 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0 AND LicenseRef-scancode-unknown-license-reference

    Paths for com.google.errorprone:error_prone_annotations 2.11.0

    Paths for com.google.errorprone:error_prone_annotations 2.11.0
    Showing 1 path. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • com.puppycrawl.tools:checkstyle 10.6.0 ... com.google.errorprone:error_prone_annotations 2.11.0
  • com.google.errorprone:javac Direct
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024

    Paths for com.google.errorprone:javac

    Paths for com.google.errorprone:javac
    Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive
  • com.google.guava:failureaccess 1.0.1 Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.google.guava:failureaccess 1.0.1

    Paths for com.google.guava:failureaccess 1.0.1
    Showing 1 path. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • com.puppycrawl.tools:checkstyle 10.6.0 ... com.google.guava:failureaccess 1.0.1
  • com.google.guava:guava 31.1-jre Transitive
    Show dependency options
    Maven · settings.gradle · Detected by GitHub Dependency Graph Gradle Plugin on Dec 16, 2024 · Apache-2.0

    Paths for com.google.guava:guava 31.1-jre

    Paths for com.google.guava:guava 31.1-jre
    Showing 1 path. Export SBOM to view all paths. Learn more about SBOMS.

      Transitive

    • com.puppycrawl.tools:checkstyle 10.6.0 com.google.guava:guava 31.1-jre
ProTip! Supported ecosystems will have transitivity labels on their packages.