javapathfinder / jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Code health
javapathfinder/jpf-core scores 7.9 out of 10 on defect risk, which Repowise rates Good. Maintainability scores 7.9 out of 10. Static performance risk scores 9.9 out of 10. The three are scored separately and never blended into a single number.
Full health report- Files
- 1.3k
- Symbols
- 16k
- Modules
- 77
- Doc pages
- 2.2k
- Dead exports
- 208
Read more about javapathfinder/jpf-core
- OverviewFiles, symbols, languages, packages, git intelligence
- ArchitectureDependency graph, layered architecture, symbol index, and third-party dependencies
- Code healthPer-file health scores, hotspots, test coverage, dead code, and refactoring targets
- AI explanationsProModule-by-module documentation generated from source
Add a badge to your README
Both badges are public, cached, and update on their own after every index. Nothing to install.
Repowise badge
Links to this page. Adding it also re-indexes the repo every week.
[](https://repowise.dev/repo/javapathfinder/jpf-core)Code health badge
Average health across every file, straight from the latest index.
[](https://repowise.dev/repo/javapathfinder/jpf-core)How javapathfinder/jpf-core works
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors. This page is an auto-generated, always-fresh map of the javapathfinder/jpf-core repository, written primarily in Java. Repowise indexes the source, parses every symbol, computes a dependency graph, scores per-file code health from complexity, duplication, test coverage and churn, mines git history for hotspots and ownership, and lifts the resulting architectural decisions into a wiki you can read or query through MCP.
The codebase has 1,280 source files, 16,346 symbols, and 5 languages, organised into 77 modules, led by java, markdown, shell. Static analysis leaves 2,290 open findings across the three health dimensions.
Use the links above to open the interactive dashboards, or connect this repo to your editor via the Repowise MCP server for grounded answers inside Claude, Cursor, or VS Code.