# javapathfinder/jpf-core

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

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

javapathfinder/jpf-core, dépôt open source à 621 étoiles sur GitHub. Carte Alpha de RepoMasters. JPF is an extensible software analysis framework for Java…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [javapathfinder](https://repo.masters-masters.com/owners/javapathfinder) |
| Étoiles | 621 |
| Forks | 418 |
| Langage | [Java](https://repo.masters-masters.com/languages/java) |
| Licence | Aucune |
| Création | 2017 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [javapathfinder/jpf-core](https://github.com/javapathfinder/jpf-core) |

## Fiche du dépôt

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…

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts Java

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.