javapathfinder / jpf-core
javamasterf01b8b4127.5K linessynced 1d ago
Code health
7.9out of 10Good
This codebase scores 7.9 out of 10 on defect risk, which we rate good. It also scores maintainability 7.9 and static performance risk 9.9 out of 10. The three are scored separately and never blended into one number.
- Lines of code
- 127.5K
Recent activity
All commitsCommits
No commits indexed yet.
Decisions
- Treat Search as the heart of search classesproposed · 1d ago
- Use a safety margin listener release on OutOfMemoryErrors to avoid memory leakproposed · 1d ago
- Separate annotation type system from ClassInfosproposed · 1d ago
- Encapsulate JPF-specific types by loading Verify-only dependencies on demandproposed · 1d ago
- Provide mostly empty method bodies in Verify for execution outside JPF environmentproposed · 1d ago
- Use Config to avoid structural bottlenecks from parameterized extensions needing to update a central Option classproposed · 1d ago
Needs attention
56 open- medium severity. ProposedTreat Search as the heart of search classesAuto-proposed decision awaiting review
- medium severity. ProposedUse a safety margin listener release on OutOfMemoryErrors to avoid memory leakAuto-proposed decision awaiting review
- medium severity. ProposedSeparate annotation type system from ClassInfosAuto-proposed decision awaiting review
- medium severity. ProposedEncapsulate JPF-specific types by loading Verify-only dependencies on demandAuto-proposed decision awaiting review
- medium severity. ProposedProvide mostly empty method bodies in Verify for execution outside JPF environmentAuto-proposed decision awaiting review
Composition
Open the graphjava 91%markdown 8%shell 0%yaml 0%dockerfile 0%
Explore this codebase
- Docs2,243 pages across 77 modules
- ChatAsk this codebase a question and get an answer with its sources
- Files1,280 files with per-file docs, health and history
- ArchitectureDependency graph, layers, and 10 entry points
- Code healthPer-file scores, 2,290 open findings, coverage and refactoring targets
- Knowledge graphEntities, communities, and the paths between them
- Change couplingFiles that keep changing together, mined from commit history
- CommitsChange-risk ranked history with agent provenance
- ContributorsBus factor, per-file maintainers, and the human/agent split
- StatsSize class, origin, lifetime churn, rhythm and records
- CostsWhat indexing this snapshot cost, by model and by run