javapathfinder

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

• FileUtils.getContentsAsString() throws NullPointerException instead of IOException

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 73/100

  javapathfinder/jpf-core#649 · Aperta il 13/10/2026

• Title: FileUtils.removeRecursively() throws NullPointerException when given a regular file

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100

  javapathfinder/jpf-core#648 · Aperta il 13/10/2026

• uncaught exceptions aren't detected when they probably should

  Forse di nuovo libera @coder-Yash886 l’ha presa 31 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100

  javapathfinder/jpf-core#637 · 7 commenti · Aperta il 1/9/2026

• 20 unit tests fail on Mac OS for jpf-core, branch `master`, Java 11.0.32

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  javapathfinder/jpf-core#632 · 4 commenti · Aperta il 11/8/2026

• Record equals/toString don't match real JVM behavior for reference and array components

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  javapathfinder/jpf-core#628 · Aperta il 10/8/2026

• KnockKnockExample does not run cleanly under JPF

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100

  javapathfinder/jpf-nas#14 · 1 commento · Aperta il 21/7/2026

• Java 17 build/test fails on some platforms

  Forse di nuovo libera @huntermarchi l’ha presa 325 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  javapathfinder/jpf-core#566 · 8 commenti · Aperta il 29/10/2025

• Model Class Loading

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

  javapathfinder/jpf-nas#7 · 9 commenti · Aperta il 3/10/2025

• Partly outdated documentation

  Forse di nuovo libera @huntermarchi l’ha presa 323 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  javapathfinder/jpf-core#563 · 11 commenti · Aperta il 19/9/2025

• Migrate documentation from wiki to a different system

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  javapathfinder/jpf-core#558 · 3 commenti · Aperta il 24/7/2025

• Checking Statecharts with JPF

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  javapathfinder/jpf-core#555 · 1 commento · Aperta il 8/7/2025

• Current issue with jpf nas

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  javapathfinder/jpf-nas#4 · 31 commenti · Aperta il 30/6/2025

• Gradle build (WIP) does not produce `build/examples`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100

  javapathfinder/jpf-nas#3 · 10 commenti · Aperta il 24/6/2025

• Add GitHub action

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  javapathfinder/jpf-nas#2 · 1 commento · Aperta il 7/6/2025

• Typo in Documentation: ./gradle shoud be ./gradlew

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 55/100

  javapathfinder/jpf-core#535 · 3 commenti · Aperta il 1/4/2025

• Documentation Error: Incorrect Markdown Attributes in Random Example Wiki Page

  Forse di nuovo libera @RehanChalana l’ha presa 560 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 55/100

  javapathfinder/jpf-core#534 · 2 commenti · Aperta il 1/4/2025

• One wiki link is down

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 58/100

  javapathfinder/jpf-core#526 · 1 commento · Aperta il 20/3/2025

• Alternatives to GitHub Wiki

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  javapathfinder/jpf-wiki-sync#19 · 3 commenti · Aperta il 16/3/2025

• `ArrayIndexOutOfBoundsException` when using JPF on Scala

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  javapathfinder/jpf-core#511 · 7 commenti · Aperta il 13/1/2025

• Introducing a website that will enhance discoverability.

  Forse di nuovo libera @venkat1701 l’ha presa 630 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

  javapathfinder/jpf-core#504 · 25 commenti · Aperta il 5/11/2024

• Support IntStream

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 28/100

  javapathfinder/jpf-core#503 · 1 commento · Aperta il 1/11/2024

• documentation for custom JVM?

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 20/100

  javapathfinder/jpf-core#502 · 2 commenti · Aperta il 24/10/2024

• Need Implementation of `JarFile`

  Forse di nuovo libera @Aditya-132 l’ha presa 579 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  javapathfinder/jpf-core#483 · 2 commenti · Aperta il 26/7/2024

• Illegal reflective access warning

  Forse di nuovo libera @PritamP20 l’ha presa 285 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug good first issue

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  javapathfinder/jpf-nhandler#8 · 6 commenti · Aperta il 29/3/2024

• Documentation (README) update

  Forse di nuovo libera @Junaid-Ashraf-56 l’ha presa 291 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  documentation good first issue

  Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100

  javapathfinder/jpf-nhandler#5 · 2 commenti · Aperta il 28/3/2024

• Java Path Finder Latest Version not available

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100

  javapathfinder/jpf-core#435 · 1 commento · Aperta il 3/3/2024

• Class not found: com.google.common.util.concurrent.ThreadFactoryBuilder

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100

  javapathfinder/jpf-core#434 · 1 commento · Aperta il 19/2/2024

• JPF fails with java.lang.IllegalArgumentException: Null charset name

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  javapathfinder/jpf-core#429 · 5 commenti · Aperta il 21/12/2023

• Investigate the feasibility of setting up CI builds/tests with another JDK

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  java version

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  javapathfinder/jpf-core#369 · 2 commenti · Aperta il 10/7/2023

• java.lang.NoSuchMethodError - CharBuffer;

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 20/100

  javapathfinder/jpf-core#314 · 2 commenti · Aperta il 24/1/2022

• Broken link in Eclipse Plugin

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 35/100

  javapathfinder/jpf-wiki-sync#10 · 1 commento · Aperta il 29/4/2020

• Model checking Groovy program using JPF

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement first issue

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  javapathfinder/jpf-core#191 · 21 commenti · Aperta il 3/6/2019

• Support java.nio.Buffer (also see #153)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  api support

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  javapathfinder/jpf-core#163 · 6 commenti · Aperta il 26/11/2018

• Manual edits on jpf-core wiki should get merged

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  javapathfinder/jpf-wiki-sync#3 · Aperta il 13/11/2018

• Enforce code formatting

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  javapathfinder/jpf-core#160 · 2 commenti · Aperta il 3/9/2018

• Support java.nio

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  api support

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  javapathfinder/jpf-core#153 · 3 commenti · Aperta il 30/8/2018

• Improve generic type introspection

  Forse di nuovo libera @manish3499 l’ha presa 2801 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  api support

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  javapathfinder/jpf-core#152 · 3 commenti · Aperta il 30/8/2018

• Support java.util.ZipFile and friends

  Forse di nuovo libera @manish3499 l’ha presa 2811 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  api support

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 32/100

  javapathfinder/jpf-core#149 · 2 commenti · Aperta il 30/8/2018

• Download links are missing

  Forse di nuovo libera @sumitdnath l’ha presa 2130 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  documentation

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 45/100

  javapathfinder/jpf-core#9 · 6 commenti · Aperta il 20/3/2018

• Add unit tests for gov.nasa.jpf.util.IntVector

  Forse già presa @jiteshkhatri11 l’ha presa 9 giorni fa. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 Mezza giornata Idoneità per principianti 78/100

  javapathfinder/jpf-core#642 · Aperta il 2/10/2026

• Method references return wrong values when the result needs boxing

  Forse già presa @alwaysalearner1234 l’ha presa 63 giorni fa. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 56/100

  javapathfinder/jpf-core#629 · Aperta il 10/8/2026

• Add unit tests for gov.nasa.jpf.util.FixedBitSet

  Forse già presa @HritikRaj2 l’ha presa 262 giorni fa. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

  javapathfinder/jpf-core#595 · Aperta il 23/1/2026

• Add unit tests for gov.nasa.jpf.util.WeakPool

  Forse già presa @HritikRaj2 l’ha presa 265 giorni fa. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100

  javapathfinder/jpf-core#593 · Aperta il 21/1/2026

• VM.getSavedProperty("os.name") not supported

  Forse già presa @Harsh4902 l’ha presa 760 giorni fa. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 42/100

  javapathfinder/jpf-core#495 · 6 commenti · Aperta il 5/9/2024

• URLClassLoader unit tests fail under Windows

  Forse già presa @anishmehta24 l’ha presa 8 giorni fa. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  javapathfinder/jpf-core#427 · 7 commenti · Aperta il 19/12/2023

• Challenges running java.util.logging.Logger.getLogger in JPF

  Forse già presa @kallal79 l’ha presa 221 giorni fa. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug first issue

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  javapathfinder/jpf-core#341 · 12 commenti · Aperta il 8/9/2022

• Missing check for STATIC method when executing

  Forse già presa @This-Is-Ram l’ha presa 277 giorni fa. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug first issue

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

  javapathfinder/jpf-core#250 · 31 commenti · Aperta il 31/7/2020

• Missing methods in the JPF model class of java.lang.Class

  Forse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  api support

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  javapathfinder/jpf-core#235 · 1 commento · Aperta il 22/7/2020