PrototypeCommune
pietrobraione/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
- Propriétaire
- pietrobraione (compte personnel)
- Étoiles
- Étoiles : 125
- Forks
- Forks : 28
- Langage
- Java
- Licence
- GPL-3.0
- Création
- 2014
- Sujets
- symbolic-execution-enginejava-virtual-machine
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Java
Tous les dépôts Java- wolfchief-inc/ai-failure-patternsÉtoiles : 125JavaPrototype
- PortSwigger/http-terminatorÉtoiles : 125JavaPrototype
- Windy-Field/Simplified-Plants-VS-ZombiesÉtoiles : 125JavaPrototype
- tenaciousRas/android-plist-parserÉtoiles : 125JavaPrototype
- jenkinsci/publish-over-ssh-pluginÉtoiles : 125JavaPrototype
- jagregory/shiro-freemarker-tagsÉtoiles : 125JavaPrototype