# javapathfinder/jpf-core

<https://repo.masters-masters.com/en/repos/javapathfinder/jpf-core>

[Home](https://repo.masters-masters.com/en) › [javapathfinder](https://repo.masters-masters.com/en/owners/javapathfinder) › [jpf-core](https://repo.masters-masters.com/en/repos/javapathfinder/jpf-core)

javapathfinder/jpf-core has 621 stars on GitHub. Its RepoMasters card: Alpha tier. JPF is an extensible software analysis framework for Java bytecode…

| Field | Value |
| --- | --- |
| Owner | [javapathfinder](https://repo.masters-masters.com/en/owners/javapathfinder) |
| Stars | 621 |
| Forks | 418 |
| Language | [Java](https://repo.masters-masters.com/en/languages/java) |
| License | None |
| Created | 2017 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [javapathfinder/jpf-core](https://github.com/javapathfinder/jpf-core) |

## Repository

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 N…

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Java

- [uin3566/AllAngleExpandableButton · ★ 621 · Java · Alpha](https://repo.masters-masters.com/en/repos/uin3566/AllAngleExpandableButton)
- [EXALAB/AnLinux-Adfree · ★ 621 · Java · Alpha](https://repo.masters-masters.com/en/repos/EXALAB/AnLinux-Adfree)
- [bi-box/Median · ★ 621 · Java · Alpha](https://repo.masters-masters.com/en/repos/bi-box/Median)
- [camunda-consulting/camunda-7-code-examples · ★ 621 · Java · Alpha](https://repo.masters-masters.com/en/repos/camunda-consulting/camunda-7-code-examples)
- [lookfirst/sardine · ★ 621 · Java · Alpha](https://repo.masters-masters.com/en/repos/lookfirst/sardine)
- [DavidPizarro/PickerUI · ★ 621 · Java · Alpha](https://repo.masters-masters.com/en/repos/DavidPizarro/PickerUI)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.