Owner
javapathfinder
4 indexed repositories · View on GitHub
-
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal...
Java · 618 stars
-
jpf-nhandler
Support auto-delegation of native methods in JPF
Java · 7 stars
-
jpf-wiki-sync
Repository that gets synchronized with the wiki on jpf-core
TeX · 3 stars
-
jpf-nas
Support networked applications in JPF
Java · 2 stars
-
javapathfinder/jpf-wiki-sync#3 · 0 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-wiki-sync#10 · 1 comment · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-wiki-sync#19 · 3 comments · 0 reactions · 0 assignees ·
-
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 ·
-
documentation good first issue
javapathfinder/jpf-nhandler#5 · 2 comments · 0 reactions · 0 assignees ·
-
bug good first issue
javapathfinder/jpf-nhandler#8 · 6 comments · 0 reactions · 0 assignees ·
-
Add GitHub action Open
javapathfinder/jpf-nas#2 · 1 comment · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-nas#3 · 10 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-nas#4 · 31 comments · 0 reactions · 0 assignees ·
-
Model Class Loading Open
javapathfinder/jpf-nas#7 · 9 comments · 0 reactions · 0 assignees ·
-
javapathfinder/jpf-nas#14 · 1 comment · 0 reactions · 0 assignees ·