Back to search
Top Contributors
76
commits
72
commits
39
commits
28
commits
19
commits
16
commits
10
commits
8
commits
8
commits
5
commits
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.
Stars
609
Forks
408
Watchers
609
Open Issues
76
Overall repository health assessment
No package.json found
This might not be a Node.js project
76
commits
72
commits
39
commits
28
commits
19
commits
16
commits
10
commits
8
commits
8
commits
5
commits
Use ZonedDateTime instead of LocalTime to handle midnight wrapping (#582)
f70927cView on GitHubRemove redundant JUnit classes from jpf-classes.jar (Fixes #570) (#571)
399a169View on GitHubOptimize testRecursiveJoinThreadGroup performance (#568)
aaec293View on GitHubRemove docs build file as we use built-in "deploy from branch" now.
08d42bfView on GitHub