javapathfinder/jpf-core
View on GitHubJPF 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.
- Stars
- 618
- Forks
- 413
- Open beginner issues
- 0
- Indexed issues
- 35
- Avg merge
- 3d 1h
- Merged PRs (30d)
- 6
- Dominant language
- Java
- License
- No license data
- Last GitHub push
- Sep 10, 2026
- Latest indexed
- Sep 14, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
documentation
javapathfinder/jpf-core#9 · 6 comments · 0 reactions · 0 assignees ·
-
api support
javapathfinder/jpf-core#149 · 2 comments · 0 reactions · 0 assignees ·
-
api support
javapathfinder/jpf-core#152 · 3 comments · 0 reactions · 0 assignees ·
-
Support java.nio Openapi support
javapathfinder/jpf-core#153 · 3 comments · 0 reactions · 0 assignees ·
-
enhancement
javapathfinder/jpf-core#160 · 2 comments · 0 reactions · 0 assignees ·
-
api support
javapathfinder/jpf-core#163 · 6 comments · 0 reactions · 0 assignees ·
-
enhancement first issue
javapathfinder/jpf-core#191 · 21 comments · 0 reactions · 0 assignees ·
-
api support
javapathfinder/jpf-core#235 · 1 comment · 0 reactions · 0 assignees ·
-
bug first issue
javapathfinder/jpf-core#250 · 31 comments · 0 reactions · 0 assignees ·
-
enhancement
javapathfinder/jpf-core#314 · 2 comments · 0 reactions · 0 assignees ·
-
bug first issue
javapathfinder/jpf-core#341 · 12 comments · 0 reactions · 0 assignees ·
-
java version
javapathfinder/jpf-core#369 · 2 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#427 · 7 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#429 · 5 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#434 · 1 comment · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#435 · 1 comment · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#483 · 2 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#495 · 6 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#502 · 2 comments · 0 reactions · 0 assignees ·
-
Support IntStream Open
javapathfinder/jpf-core#503 · 1 comment · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#504 · 25 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#511 · 7 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#526 · 1 comment · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#534 · 2 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#535 · 3 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#555 · 1 comment · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#558 · 3 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#563 · 11 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#566 · 8 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#593 · 0 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#595 · 0 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#628 · 0 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#629 · 0 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#632 · 4 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-core#637 · 7 comments · 0 reactions · 0 assignees ·