Public recordExcellent
Software health reportschema 0.34.0 · metrics 2.10.0 · 2026-10-19 09:44 UTC
KeYProject / key
KeY Theorem Prover for Deductive Java Verification
KeYProject/key holds a health index of 87 out of 100, placing it in the Excellent band. It scores highest on Vitality (88/100) and lowest on Community & Adoption (59/100). It was last updated 1 day ago. 4 contributors account for most of its recent work.
87
overall / 100Software health index
Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean, calibrated against the distribution of the public record so bands carry percentile meaning; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At Risk ceiling of 34.
87
Exceptional93-100The record's top tier (≈ top 5%); essentially all checked criteria met
Excellent80-92Strong across the board; minor gaps
Good65-79Healthy; gaps are limited and manageable
Moderate50-64Acceptable with notable gaps; review recommended
Weak35-49Material weaknesses across several areas
At Risk20-34Significant weaknesses; adoption warrants caution
Critical1-19Severe problems (abandoned, single-maintainer, no hygiene)
Score profile
Each axis is a category. The shape matters more than the average — a healthy subject fills the whole shape, while a spike-and-crater profile means strength in one dimension is masking risk in another.
The weighted overall 73 is calibrated to 87 on the published index scale (record calibration 2026-08-02).
Ownership
KeY ProjectOrganization
19 followers26 public repossince Apr 2016
This repository is backed by an organization — shared, accountable stewardship that can outlive any single maintainer.
Metrics by category
Vitality
Is the project alive — is code being written and are releases shipping?
88
Development activity
96Exceptional
How it's scored
| 36/36 | Push recency — last push 1 days ago |
| 32.5/36 | Commit cadence — 47/52 weeks with commits |
| 18/18 | Commit volume — 1,431 commits in the last year |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 3 issue activity found in the last 90 days -- score normalized to 10 |
Inputs used
| commits_last_year | 1,431 |
| human_commit_share | 0.94 |
| days_since_last_push | 1 |
| active_weeks_last_year | 47 |
Release discipline
76Good
How it's scored
| 27/27 | Ships releases — 25 releases published |
| 36/36 | Release recency — latest release 87 days ago |
| 12.6/27 | Release cadence — a release every ~141.1 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases. |
Inputs used
| releases_count | 25 |
| latest_release_tag | KeY-3.0.0 |
| releases_from_tags | no |
| days_since_latest_release | 87 |
| mean_days_between_releases | 141.1 |
Community & Adoption
Does the project have users, downloads, attention, and a welcoming setup for contributors?
59
Popularity & adoption
48Weak
How it's scored
| 31.5/60 | Stars — 88 stars |
| 13.8/25 | Forks — 46 forks |
| 2.7/15 | Watchers — 4 watchers |
Inputs used
| forks | 46 |
| stars | 88 |
| watchers | 4 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community health
71Good
How it's scored
| 22.5/22.5 | README |
| 16.9/22.5 | License — license file present, not a recognized license |
| 18/18 | CONTRIBUTING guide |
| 0/13.5 | Code of conduct |
| 0/7.2 | Issue template |
| 6.3/6.3 | PR template |
Inputs used
| has_readme | yes |
| has_license | yes |
| readme_badges | 4 |
| has_contributing | yes |
| has_issue_template | no |
| has_code_of_conduct | no |
| readme_badge_services | github.com, shields.io |
| has_pull_request_template | yes |
Sustainability & Governance
Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?
80
Maintainer resilience (bus factor)
85Excellent
How it's scored
| 43.2/54 | Bus factor — 4 contributor(s) cover half of all commits |
| 18.6/22.5 | Commit distribution — top contributor authored 17% of commits |
| 13.5/13.5 | Contributor breadth — 54 contributors |
| 10/10 | OpenSSF Scorecard: Contributors — project has 13 contributing companies or organizations |
Inputs used
| bus_factor | 4 |
| contributors_sampled | 54 |
| top_contributor_share | 0.173 |
Issue & PR responsiveness
91Excellent
How it's scored
| 37.6/42 | Issue resolution — 90% of issues closed |
| 26.2/30 | PR acceptance — 637/729 decided PRs merged |
| 0/13 | Newcomer PR acceptance — no first-time contributor's PR decided in 30d |
| 15/15 | OpenSSF Scorecard: Code-Review — all changesets reviewed |
Inputs used
| merged_prs | 637 |
| open_issues | 337 |
| closed_issues | 2,871 |
| prs_merged_7d | 2 |
| prs_decided_7d | 3 |
| prs_merged_30d | 7 |
| prs_decided_30d | 8 |
| issue_closed_ratio | 0.895 |
| closed_unmerged_prs | 92 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
Excluded from scoring (no data or not applicable): Newcomer PR acceptance. Remaining weights renormalized.
Ownership & stewardship
62Moderate
How it's scored
| 30/30 | Ownership backing — organization-owned |
| 0/20 | Verified domain |
| 9.4/25 | Owner reach — 19 followers of KeYProject |
| 22.4/25 | Track record — 26 public repos, account ~10 yr old |
Inputs used
| followers | 19 |
| owner_type | Organization |
| is_verified | no |
| owner_login | KeYProject |
| public_repos | 26 |
| account_age_days | 3,824 |
Engineering Quality
Are baseline engineering and documentation practices in place?
71
Engineering practices
68Good
How it's scored
| 24/24 | CI workflows — 4 workflow(s) |
| 24/24 | Tests present |
| 0/16 | Linter config |
| 0/9.6 | Pre-commit hooks |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 12 out of 12 merged PRs checked by a CI test -- score normalized to 10 |
Inputs used
| has_ci | yes |
| has_tests | yes |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Documentation
75Good
How it's scored
| 30/30 | README |
| 0/25 | Documentation directory |
| 15/15 | Documentation / homepage site — https://key-project.org |
| 10/10 | Repository description |
| 10/10 | Topics — 4 topics |
| 10/10 | Wiki |
Inputs used
| topics | key, formal-verification, smt-solver, static-analysis |
| has_wiki | yes |
| homepage | https://key-project.org |
| docs_site | https://key-project.org |
| has_readme | yes |
| has_docs_dir | no |
| has_description | yes |
Security
Are visible security and supply-chain practices strong, without unresolved high-risk jurisdiction exposure?
65
Security posture
56Moderate
How it's scored
| 4.5/7.5 | Binary-Artifacts — binaries present in source code |
| 0.8/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 12 out of 12 merged PRs checked by a CI test -- score normalized to 10 |
| 1.2/2.5 | CII-Best-Practices — badge detected: Passing |
| 7.5/7.5 | Code-Review — all changesets reviewed |
| 2.5/2.5 | Contributors — project has 13 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.2/2.5 | License — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 3 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Inputs used
| source | openssf_scorecard |
| checks_evaluated | 18 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 0 |
| scorecard_aggregate | 5.6 |
Dependency advisories
100Exceptional
How it's scored
| 35/35 | Direct dependencies free of known advisories — no direct dependency carries a known advisory |
| 0/25 | Indirect dependencies free of known advisories — transitive set not separable from development and test dependencies in this scope |
| 0/40 | No advisories left outstanding — no advisory carries a publication date |
Inputs used
| source | osv |
| advisories | 37 |
| affected_packages | 18 |
| assessed_packages | 129 |
| unassessed_packages | 0 |
| affected_by_severity | critical 2, high 7, moderate 7, low 2 |
| direct_affected_packages | 0 |
Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories, No advisories left outstanding. Remaining weights renormalized. Matched 129 resolved dependencies against OSV. This repository publishes no package the index resolves, so the repository dependency graph was assessed instead. That graph mixes development and test pins with shipped dependencies, so only the declared runtime dependencies are scored; transitive findings are reported as context and excluded from the score. Reachability is not analyzed.
AI Readiness
How well is the repo equipped to be developed and maintained with AI coding agents? Carries a deliberately small weight (4%): agent tooling is a real maintenance signal, but a repository with none can still reach 100/100.
62
Agent context & guidance
27At Risk
How it's scored
| 0/45 | Agent instructions — no CLAUDE.md / AGENTS.md / editor rules |
| 0/15 | Machine-readable docs (llms.txt) |
| 27.2/40 | Legible commit history — 48 of 94 human commits state their intent (structured subject or explanatory body) |
Inputs used
| has_llms_txt | no |
| llms_txt_url | — |
| legible_history_share | 0.511 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Verify loop (build / test / typecheck)
59Moderate
How it's scored
| 18/18 | One-command bootstrap — oldStuff/system/Makefile |
| 22/22 | Automated tests |
| 0/11 | Lint / format config |
| 11/11 | Static type checking — Java (statically typed) |
| 0/10 | Reproducible environment |
| 0/10 | Demonstrated agent practice — no agent-authored commits among the last 100 |
| 8/8 | Automated maintenance — 6 of the last 100 commits are automated dependency updates |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Inputs used
| has_nix | no |
| has_tests | yes |
| lockfiles | — |
| has_dockerfile | no |
| typed_language | yes |
| bootstrap_files | oldStuff/system/Makefile |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | build.gradle, key.core.example/build.gradle, key.core.infflow/build.gradle, key.core.testgen/build.gradle, key.core.testgen/src/main/resources/de/uka/ilkd/key/tcg/build.gradle.kts, key.core.testgen/src/main/resources/de/uka/ilkd/key/tcg/pom.xml, key.core.testgen/testcases/arrayutil/actual/build.gradle.kts, key.core.testgen/testcases/arrayutil/actual/pom.xml, key.core.testgen/testcases/arrayutil/expected/build.gradle.kts, key.core.testgen/testcases/arrayutil/expected/pom.xml, key.core.wd/build.gradle, key.core/build.gradle, key.ncore.calculus/build.gradle, key.ncore.matcher/build.gradle, key.ncore/build.gradle, key.ui/build.gradle, key.util/build.gradle, keyext.caching/build.gradle, keyext.exploration/build.gradle, keyext.isabelletranslation/build.gradle, keyext.proofmanagement/build.gradle, keyext.slicing/build.gradle, keyext.ui.testgen/build.gradle, scripts/tools/mt/build.gradle |
| dependency_bot_commit_share | 0.06 |
Code legibility for models
100Exceptional
How it's scored
| 45/45 | Type-checkable code — Java (statically typed) |
| 54.7/55 | Manageable file sizes — 24/3,836 source files over 60KB |
Inputs used
| primary_language | Java |
| largest_source_bytes | 199,141 |
| source_files_sampled | 3,836 |
| oversized_source_files | 24 |
Machine-readable interfaces
100Exceptional
How it's scored
| 0/40 | API schema (OpenAPI/GraphQL/proto) — not applicable to this kind of software |
| 0/20 | MCP server — not applicable to this kind of software |
| 40/40 | Runnable examples — example, examples |
Inputs used
| example_dirs | example, examples |
| has_mcp_signal | no |
| api_schema_files | — |
| interfaces_expected_of | — |
Excluded from scoring (no data or not applicable): API schema (OpenAPI/GraphQL/proto), MCP server. Remaining weights renormalized.
Key facts
88GitHub stars
54contributors
1,431commits, last 12 months
1days since last push
25releases
4bus factor
337open issues
Mavenpackage ecosystems
Data collection warnings
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
More detail
Star and fork history 0 ★ / 46 ⇿
0Stars
46Forks
25Releases
When each star and fork was added, collected from GitHub and bucketed by day. Cumulative growth sits directly above the daily additions it is made of, so the two read against each other: steady organic accretion looks nothing like an abrupt, short-lived burst. Where that difference is measurable, it is reported as growth authenticity.
Major 0Minor 0Patch 0
Each point covers 4 days.
OpenSSF Scorecard 5.6 / 10
5.6aggregate
Independent, tool-agnostic security assessment from the open-source OpenSSF Scorecard. Each check rewards a security practice, not a specific vendor's tool. Checks Scorecard could not determine are marked n/a and excluded from the security score (never counted as zero).
| 6 | Binary-Artifacts | binaries present in source code |
| 1 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 12 out of 12 merged PRs checked by a CI test -- score normalized to 10 |
| 5 | CII-Best-Practices | badge detected: Passing |
| 10 | Code-Review | all changesets reviewed |
| 10 | Contributors | project has 13 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 9 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 3 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
All dependencies 129
Full resolved dependency set from the GitHub dependency graph: 0 direct and 129 indirect (transitive) packages. The transitive closure is complete when the repository commits a lockfile.
| Registry | Package | Version | Relation |
|---|---|---|---|
| Maven | antlr:antlr | 2.7.7 | indirect |
| Maven | backport-util-concurrent:backport-util-concurrent | 3.1 | indirect |
| Maven | ca.coglinc:javacc-gradle-plugin | 2.4.0 | indirect |
| Maven | ch.qos.logback:logback-classic | 1.5.12 | indirect |
| Maven | ch.qos.logback:logback-core | 1.5.12 | indirect |
| Maven | com.beust:jcommander | 1.48 | indirect |
| Maven | com.diffplug.durian:durian-collect | 1.2.0 | indirect |
| Maven | com.diffplug.durian:durian-core | 1.2.0 | indirect |
| Maven | com.diffplug.durian:durian-io | 1.2.0 | indirect |
| Maven | com.diffplug.durian:durian-swt.os | 4.2.2 | indirect |
| Maven | com.diffplug.spotless:spotless-lib | 2.45.0 | indirect |
| Maven | com.diffplug.spotless:spotless-lib-extra | 2.45.0 | indirect |
| Maven | com.diffplug.spotless:spotless-plugin-gradle | 6.25.0 | indirect |
| Maven | com.github.johnrengelman:shadow | 8.1.1 | indirect |
| Maven | com.google.code.findbugs:jsr305 | 3.0.2 | indirect |
| Maven | com.google.code.gson:gson | 2.8.9 | indirect |
| Maven | com.google.errorprone:error_prone_annotations | 2.11.0 | indirect |
| Maven | com.google.errorprone:javac | 9+181-r4173-1 | indirect |
| Maven | com.google.guava:failureaccess | 1.0.1 | indirect |
| Maven | com.google.guava:guava | 31.1-jre | indirect |
| Maven | com.google.guava:guava-jdk5 | 17.0 | indirect |
| Maven | com.google.guava:listenablefuture | 9999.0-empty-to-avoid-conflict-with-guava | indirect |
| Maven | com.google.j2objc:j2objc-annotations | 1.3 | indirect |
| Maven | com.googlecode.concurrent-trees:concurrent-trees | 2.6.1 | indirect |
| Maven | com.googlecode.javaewah:JavaEWAH | 1.2.3 | indirect |
| Maven | com.gradle:common-custom-user-data-gradle-plugin | 2.0 | indirect |
| Maven | com.gradle:develocity-gradle-plugin | 3.17.5 | indirect |
| Maven | com.ibm.icu:icu4j | 72.1 | indirect |
| Maven | com.miglayout:miglayout-core | 11.4.2 | indirect |
| Maven | com.miglayout:miglayout-swing | 11.4.2 | indirect |
| Maven | com.mycila.xmltool:xmltool | 3.3 | indirect |
| Maven | com.mycila:license-maven-plugin | 3.0 | indirect |
| Maven | com.mycila:mycila-xmltool | 4.4.ga | indirect |
| Maven | com.puppycrawl.tools:checkstyle | 10.6.0 | indirect |
| Maven | com.squareup.okhttp3:okhttp | 4.12.0 | indirect |
| Maven | com.squareup.okio:okio | 3.6.0 | indirect |
| Maven | com.squareup.okio:okio-jvm | 3.6.0 | indirect |
| Maven | commons-beanutils:commons-beanutils | 1.9.4 | indirect |
| Maven | commons-codec:commons-codec | 1.15 | indirect |
| Maven | commons-codec:commons-codec | 1.16.0 | indirect |
| Maven | commons-collections:commons-collections | 3.2.2 | indirect |
| Maven | commons-io:commons-io | 2.11.0 | indirect |
| Maven | commons-io:commons-io | 2.4 | indirect |
| Maven | commons-logging:commons-logging | 1.1.1 | indirect |
| Maven | dev.equo.ide:solstice | 1.7.5 | indirect |
| Maven | gradle.plugin.com.hierynomus.gradle.plugins:license-gradle-plugin | 0.16.1 | indirect |
| Maven | info.picocli:picocli | 4.7.0 | indirect |
| Maven | io.freefair.gradle:lombok-plugin | 5.3.3.3 | indirect |
| Maven | io.github.eisop:checker | 3.42.0-eisop4 | indirect |
| Maven | io.github.eisop:checker-qual | 3.42.0-eisop4 | indirect |
| Maven | io.github.eisop:checker-util | 3.42.0-eisop4 | indirect |
| Maven | net.java.dev.javacc:javacc | 4.0 | indirect |
| Maven | net.sf.retrotranslator:retrotranslator-runtime | 1.2.9 | indirect |
| Maven | net.sf.retrotranslator:retrotranslator-transformer | 1.2.9 | indirect |
| Maven | net.sf.saxon:Saxon-HE | 11.4 | indirect |
| Maven | net.sourceforge.pmd:pmd-core | 6.53.0 | indirect |
| Maven | net.sourceforge.pmd:pmd-java | 6.53.0 | indirect |
| Maven | net.sourceforge.saxon:saxon | 9.1.0.8 | indirect |
| Maven | org.abego.treelayout:org.abego.treelayout.core | 1.0.3 | indirect |
| Maven | org.antlr:antlr | 3.5.3 | indirect |
| Maven | org.antlr:antlr-runtime | 3.5.3 | indirect |
| Maven | org.antlr:antlr4 | 4.13.2 | indirect |
| Maven | org.antlr:antlr4-runtime | 4.11.1 | indirect |
| Maven | org.antlr:antlr4-runtime | 4.13.2 | indirect |
| Maven | org.antlr:antlr4-runtime | 4.7.2 | indirect |
| Maven | org.antlr:ST4 | 4.3.1 | indirect |
| Maven | org.antlr:ST4 | 4.3.4 | indirect |
| Maven | org.apache-extras.beanshell:bsh | 2.0b6 | indirect |
| Maven | org.apache.ant:ant | 1.10.13 | indirect |
| Maven | org.apache.ant:ant-launcher | 1.10.13 | indirect |
| Maven | org.apache.commons:commons-collections4 | 4.1 | indirect |
| Maven | org.apache.commons:commons-lang3 | 3.4 | indirect |
| Maven | org.apache.commons:commons-lang3 | 3.8.1 | indirect |
| Maven | org.apache.commons:commons-pool2 | 2.2 | indirect |
| Maven | org.apache.httpcomponents.client5:httpclient5 | 5.1.3 | indirect |
| Maven | org.apache.httpcomponents.core5:httpcore5 | 5.1.3 | indirect |
| Maven | org.apache.httpcomponents.core5:httpcore5-h2 | 5.1.3 | indirect |
| Maven | org.apache.logging.log4j:log4j-api | 2.20.0 | indirect |
| Maven | org.apache.logging.log4j:log4j-core | 2.20.0 | indirect |
| Maven | org.apache.maven:maven-settings | 3.0.4 | indirect |
| Maven | org.apache.maven:maven-settings-builder | 3.0.4 | indirect |
| Maven | org.apiguardian:apiguardian-api | 1.1.2 | indirect |
| Maven | org.checkerframework:checker | 3.48.0 | indirect |
| Maven | org.checkerframework:checker-qual | 3.27.0 | indirect |
| Maven | org.checkerframework:checker-qual | 3.48.0 | indirect |
| Maven | org.checkerframework:checker-util | 3.48.0 | indirect |
| Maven | org.checkerframework:checkerframework-gradle-plugin | 0.6.45 | indirect |
| Maven | org.codehaus.plexus:plexus-component-annotations | 1.5.5 | indirect |
| Maven | org.codehaus.plexus:plexus-interpolation | 1.14 | indirect |
| Maven | org.codehaus.plexus:plexus-utils | 2.0.6 | indirect |
| Maven | org.codehaus.plexus:plexus-utils | 3.5.1 | indirect |
| Maven | org.eclipse.jgit:org.eclipse.jgit | 6.7.0.202309050840-r | indirect |
| Maven | org.eclipse.platform:org.eclipse.osgi | 3.18.300 | indirect |
| Maven | org.hamcrest:hamcrest-core | 2.2 | indirect |
| Maven | org.javassist:javassist | 3.28.0-GA | indirect |
| Maven | org.jdom:jdom2 | 2.0.6.1 | indirect |
| Maven | org.jetbrains.kotlin:kotlin-stdlib | 1.9.10 | indirect |
| Maven | org.jetbrains.kotlin:kotlin-stdlib-common | 1.9.10 | indirect |
| Maven | org.jetbrains.kotlin:kotlin-stdlib-jdk7 | 1.9.10 | indirect |
| Maven | org.jetbrains.kotlin:kotlin-stdlib-jdk8 | 1.9.10 | indirect |
| Maven | org.jetbrains:annotations | 13.0 | indirect |
| Maven | org.jspecify:jspecify | 1.0.0 | indirect |
| Maven | org.junit.jupiter:junit-jupiter-api | 5.11.3 | indirect |
| Maven | org.junit.jupiter:junit-jupiter-engine | 5.11.3 | indirect |
| Maven | org.junit.jupiter:junit-jupiter-params | 5.11.3 | indirect |
| Maven | org.junit.platform:junit-platform-commons | 1.11.3 | indirect |
| Maven | org.junit.platform:junit-platform-engine | 1.11.3 | indirect |
| Maven | org.junit:junit-bom | 5.11.3 | indirect |
| Maven | org.key-project:docking-frames-common | 1.1.3p1 | indirect |
| Maven | org.key-project:docking-frames-core | 1.1.3p1 | indirect |
| Maven | org.objenesis:objenesis | 3.3 | indirect |
| Maven | org.opentest4j:opentest4j | 1.3.0 | indirect |
| Maven | org.ow2.asm:asm | 9.3 | indirect |
| Maven | org.ow2.asm:asm | 9.4 | indirect |
| Maven | org.ow2.asm:asm | 9.7.1 | indirect |
| Maven | org.ow2.asm:asm-commons | 9.4 | indirect |
| Maven | org.ow2.asm:asm-tree | 9.4 | indirect |
| Maven | org.reflections:reflections | 0.10.2 | indirect |
| Maven | org.slf4j:slf4j-api | 1.7.36 | indirect |
| Maven | org.slf4j:slf4j-api | 2.0.16 | indirect |
| Maven | org.sonarsource.scanner.api:sonar-scanner-api | 2.16.2.588 | indirect |
| Maven | org.sonarsource.scanner.gradle:sonarqube-gradle-plugin | 5.0.0.4638 | indirect |
| Maven | org.sonatype.plexus:plexus-cipher | 1.4 | indirect |
| Maven | org.sonatype.plexus:plexus-sec-dispatcher | 1.3 | indirect |
| Maven | org.springframework:spring-asm | 3.1.3.RELEASE | indirect |
| Maven | org.springframework:spring-core | 3.1.3.RELEASE | indirect |
| Maven | org.tukaani:xz | 1.9 | indirect |
| Maven | org.vafer:jdependency | 2.8.0 | indirect |
| Maven | org.xmlresolver:xmlresolver | 4.4.3 | indirect |
Dependency advisories 18
This repository publishes no package the index resolves, so its own dependency graph was assessed — 129 packages, which also include development and test pins that never ship: 18 carry known advisories, of which 0 are direct.
| Package | Version | Relation | Severity | Advisories | Fixed in |
|---|---|---|---|---|---|
| net.sourceforge.pmd:pmd-core | 6.53.0 | indirect | critical | 2 | 7.22.0 |
| org.codehaus.plexus:plexus-utils | 2.0.6 | indirect | critical | 4 | 4.0.3 |
| commons-beanutils:commons-beanutils | 1.9.4 | indirect | high | 1 | 2.0.0-M2 |
| commons-io:commons-io | 2.11.0 | indirect | high | 1 | 2.14.0 |
| commons-io:commons-io | 2.4 | indirect | high | 2 | 2.14.0 |
| org.apache.httpcomponents.core5:httpcore5 | 5.1.3 | indirect | high | 1 | 5.5-beta2 |
| org.apache.httpcomponents.core5:httpcore5-h2 | 5.1.3 | indirect | high | 1 | 5.5-beta2 |
| org.codehaus.plexus:plexus-utils | 3.5.1 | indirect | high | 1 | 4.0.3 |
| org.springframework:spring-core | 3.1.3.RELEASE | indirect | high | 7 | 7.0.8 |
| ch.qos.logback:logback-core | 1.5.12 | indirect | moderate | 6 | 1.5.34 |
| com.google.guava:guava | 31.1-jre | indirect | moderate | 2 | 32.0.0-android |
| com.google.guava:guava-jdk5 | 17.0 | indirect | moderate | 1 | 24.1.1-android |
| org.apache.commons:commons-lang3 | 3.4 | indirect | moderate | 1 | 3.18.0 |
| org.apache.commons:commons-lang3 | 3.8.1 | indirect | moderate | 1 | 3.18.0 |
| org.apache.httpcomponents.client5:httpclient5 | 5.1.3 | indirect | moderate | 1 | 5.6.3 |
| org.eclipse.jgit:org.eclipse.jgit | 6.7.0.202309050840-r | indirect | moderate | 1 | 7.2.1.202505142326-r |
| org.apache.logging.log4j:log4j-api | 2.20.0 | indirect | low | 1 | 2.26.1 |
| org.apache.logging.log4j:log4j-core | 2.20.0 | indirect | low | 3 | 2.25.4 |
An advisory means the version recorded in the dependency graph falls inside an advisory’s affected range. Reachability is not analysed, and the graph includes development and test pins — a finding may concern tooling rather than shipped software.
Raw JSON report machine-readable
Feedback
Spotted something off in this report, or have thoughts to share? Wrong measurements, missed tooling, ideas, questions — anything is welcome. Every message is read and gets a response.
Scores are signals, not warranties. They reflect publicly visible practices on GitHub — not a code audit, and not a security guarantee.
Missing data is excluded and weights renormalized, never scored as zero. Methodology is versioned and open: metrics v2.10.0, schema v0.34.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics.