Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

Propietario

javapathfinder

Inicia sesión para seguir

4 repositorios indexados · Ver en GitHub

Para principiantes Todo
Abierto Todos

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

  • FileUtils.getContentsAsString() throws NullPointerException instead of IOException
    Abierto
    • ¿Algo no está bien?

    Dificultad 2/5 1-3 horas Aptitud para principiantes 73/100

    javapathfinder/jpf-core#649 ·

  • Title: FileUtils.removeRecursively() throws NullPointerException when given a regular file
    Abierto
    • ¿Algo no está bien?

    Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100

    javapathfinder/jpf-core#648 ·

  • uncaught exceptions aren't detected when they probably should
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

    javapathfinder/jpf-core#637 · 7 comentarios ·

  • 20 unit tests fail on Mac OS for jpf-core, branch `master`, Java 11.0.32
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

    javapathfinder/jpf-core#632 · 4 comentarios ·

  • Record equals/toString don't match real JVM behavior for reference and array components
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

    javapathfinder/jpf-core#628 ·

  • KnockKnockExample does not run cleanly under JPF
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 65/100

    javapathfinder/jpf-nas#14 · 1 comentario ·

  • Java 17 build/test fails on some platforms
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

    javapathfinder/jpf-core#566 · 8 comentarios ·

  • Model Class Loading
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

    javapathfinder/jpf-nas#7 · 9 comentarios ·

  • Partly outdated documentation
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    javapathfinder/jpf-core#563 · 11 comentarios ·

  • Migrate documentation from wiki to a different system
    Abierto
    • ¿Algo no está bien?

    Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

    javapathfinder/jpf-core#558 · 3 comentarios ·

  • Checking Statecharts with JPF
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

    javapathfinder/jpf-core#555 · 1 comentario ·

  • Current issue with jpf nas
    Abierto
    • ¿Algo no está bien?

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    javapathfinder/jpf-nas#4 · 31 comentarios ·

  • Gradle build (WIP) does not produce `build/examples`
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

    javapathfinder/jpf-nas#3 · 10 comentarios ·

  • Add GitHub action
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

    javapathfinder/jpf-nas#2 · 1 comentario ·

  • Typo in Documentation: ./gradle shoud be ./gradlew
    Abierto
    • ¿Algo no está bien?

    Dificultad 1/5 Menos de una hora Aptitud para principiantes 55/100

    javapathfinder/jpf-core#535 · 3 comentarios ·

  • Documentation Error: Incorrect Markdown Attributes in Random Example Wiki Page
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    Dificultad 1/5 Menos de una hora Aptitud para principiantes 55/100

    javapathfinder/jpf-core#534 · 2 comentarios ·

  • One wiki link is down
    Abierto
    • ¿Algo no está bien?

    Dificultad 1/5 Menos de una hora Aptitud para principiantes 58/100

    javapathfinder/jpf-core#526 · 1 comentario ·

  • Alternatives to GitHub Wiki
    Abierto
    • ¿Algo no está bien?

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    javapathfinder/jpf-wiki-sync#19 · 3 comentarios ·

  • `ArrayIndexOutOfBoundsException` when using JPF on Scala
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    javapathfinder/jpf-core#511 · 7 comentarios ·

  • Introducing a website that will enhance discoverability.
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

    javapathfinder/jpf-core#504 · 25 comentarios ·

  • Support IntStream
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 28/100

    javapathfinder/jpf-core#503 · 1 comentario ·

  • documentation for custom JVM?
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 20/100

    javapathfinder/jpf-core#502 · 2 comentarios ·

  • Need Implementation of `JarFile`
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    javapathfinder/jpf-core#483 · 2 comentarios ·

  • Illegal reflective access warning
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    bug good first issue

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    javapathfinder/jpf-nhandler#8 · 6 comentarios ·

  • Documentation (README) update
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    documentation good first issue

    Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100

    javapathfinder/jpf-nhandler#5 · 2 comentarios ·

  • Java Path Finder Latest Version not available
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

    javapathfinder/jpf-core#435 · 1 comentario ·

  • Class not found: com.google.common.util.concurrent.ThreadFactoryBuilder
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

    javapathfinder/jpf-core#434 · 1 comentario ·

  • JPF fails with java.lang.IllegalArgumentException: Null charset name
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    javapathfinder/jpf-core#429 · 5 comentarios ·

  • Investigate the feasibility of setting up CI builds/tests with another JDK
    Abierto
    • ¿Algo no está bien?
    java version

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    javapathfinder/jpf-core#369 · 2 comentarios ·

  • java.lang.NoSuchMethodError - CharBuffer;
    Abierto
    • ¿Algo no está bien?
    enhancement

    Dificultad 4/5 3-5 días Aptitud para principiantes 20/100

    javapathfinder/jpf-core#314 · 2 comentarios ·

  • Broken link in Eclipse Plugin
    Abierto
    • ¿Algo no está bien?

    Dificultad 1/5 Menos de una hora Aptitud para principiantes 35/100

    javapathfinder/jpf-wiki-sync#10 · 1 comentario ·

  • Model checking Groovy program using JPF
    Abierto
    • ¿Algo no está bien?
    enhancement first issue

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    javapathfinder/jpf-core#191 · 21 comentarios ·

  • Support java.nio.Buffer (also see #153)
    Abierto
    • ¿Algo no está bien?
    api support

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    javapathfinder/jpf-core#163 · 6 comentarios ·

  • Manual edits on jpf-core wiki should get merged
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    javapathfinder/jpf-wiki-sync#3 ·

  • Enforce code formatting
    Abierto
    • ¿Algo no está bien?
    enhancement

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    javapathfinder/jpf-core#160 · 2 comentarios ·

  • Support java.nio
    Abierto
    • ¿Algo no está bien?
    api support

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    javapathfinder/jpf-core#153 · 3 comentarios ·

  • Improve generic type introspection
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    api support

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    javapathfinder/jpf-core#152 · 3 comentarios ·

  • Support java.util.ZipFile and friends
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    api support

    Dificultad 4/5 3-5 días Aptitud para principiantes 32/100

    javapathfinder/jpf-core#149 · 2 comentarios ·

  • Download links are missing
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    documentation

    Dificultad 1/5 Menos de una hora Aptitud para principiantes 45/100

    javapathfinder/jpf-core#9 · 6 comentarios ·

  • Add unit tests for gov.nasa.jpf.util.IntVector
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?

    Dificultad 2/5 Medio día Aptitud para principiantes 78/100

    javapathfinder/jpf-core#642 ·

  • Method references return wrong values when the result needs boxing
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 56/100

    javapathfinder/jpf-core#629 ·

  • Add unit tests for gov.nasa.jpf.util.FixedBitSet
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?

    Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

    javapathfinder/jpf-core#595 ·

  • Add unit tests for gov.nasa.jpf.util.WeakPool
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

    javapathfinder/jpf-core#593 ·

  • VM.getSavedProperty("os.name") not supported
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?

    Dificultad 2/5 1-3 horas Aptitud para principiantes 42/100

    javapathfinder/jpf-core#495 · 6 comentarios ·

  • URLClassLoader unit tests fail under Windows
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

    javapathfinder/jpf-core#427 · 7 comentarios ·

  • Challenges running java.util.logging.Logger.getLogger in JPF
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?
    bug first issue

    Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

    javapathfinder/jpf-core#341 · 12 comentarios ·

  • Missing check for STATIC method when executing
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?
    bug first issue

    Dificultad 4/5 3-5 días Aptitud para principiantes 38/100

    javapathfinder/jpf-core#250 · 31 comentarios ·

  • Missing methods in the JPF model class of java.lang.Class
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?
    api support

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    javapathfinder/jpf-core#235 · 1 comentario ·

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.