repowiserepowise
Sign in
darshan-dev57/jpf-core
OverviewDocsArchitectureKnowledge GraphFilesCode HealthRefactoring

People & History

CommitsContributorsDecisions
ChatPro
Stats
repowiserepowise
ExplorePricingDocs
Sign inIndex repoIndex your repo free
repowisedarshan-dev57/jpf-core
JP
JP

darshan-dev57 / jpf-core

javajava-176964d9b122.9K linessynced 1d ago

Code health

7.7out of 10Good

This codebase scores 7.7 out of 10 on defect risk, which we rate good. It also scores maintainability 7.8 and static performance risk 9.9 out of 10. The three are scored separately and never blended into one number.

Full health report →
Documentation2,247pages0 with model-written prose, 2,247 built from the indexScore validation2/2012.91× baselineOf the 20 lowest-health files, 2 were bug-fixed in the last 6 months — 12.91× the 1% baselineDead code221exportsUnused exports that nothing in the graph reaches
Lines of code
122.9K
Files
1,162
Symbols
16,688
Modules
55
Languages
4

Recent activity

All commits →

Commits

No commits indexed yet.

Decisions

  • Provide reachability updates via internal counters to enable GCproposed · 1d ago
  • Avoid memory leak when reusing config: clean up dynamically added listenerproposed · 1d ago
  • Use separate AnnotationInfo type systemproposed · 1d ago
  • Register Verify native peer only from within JPF execution context to avoid class recyclingproposed · 1d ago
  • Provide Verify methods as empty bodies to allow running outside JPF and enable on-demand loading of JPF typesproposed · 1d ago
  • Avoid Option classes with concrete type fields to prevent structural bottlenecksproposed · 1d ago

Needs attention

52 open
  • medium severity. ProposedProvide reachability updates via internal counters to enable GCAuto-proposed decision awaiting review
  • medium severity. ProposedAvoid memory leak when reusing config: clean up dynamically added listenerAuto-proposed decision awaiting review
  • medium severity. ProposedUse separate AnnotationInfo type systemAuto-proposed decision awaiting review
  • medium severity. ProposedRegister Verify native peer only from within JPF execution context to avoid class recyclingAuto-proposed decision awaiting review
  • medium severity. ProposedProvide Verify methods as empty bodies to allow running outside JPF and enable on-demand loading of JPF typesAuto-proposed decision awaiting review

Composition

Open the graph →
java 100%shell 0%markdown 0%yaml 0%

Explore this codebase

  • Docs2,247 pages across 55 modules→
  • ChatAsk this codebase a question and get an answer with its sources→
  • Files1,162 files with per-file docs, health and history→
  • ArchitectureDependency graph, layers, and 1 entry points→
  • Code healthPer-file scores, 2,346 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→