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

Checker Framework always crashes on all Windows boxes in my team

Abierto
  • ¿Algo no está bien?
#6,902 2 comentarios 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
25/100
Tipo de issue
Error
Claridad
Necesita aclaración
Estado de actividad
Estancado
Stack tecnológico
java
Área
compilers

Línea de trabajo

Reproduce el fallo en Windows con Checker Framework 3.47.0 y el checker-3.47.0.jar almacenado en la caché de Maven que se muestra en el informe. Empieza investigando por qué no se puede abrir el jar durante la inicialización de KeyForAnnotatedTypeFactory; el trabajo estará terminado cuando el proyecto indicado se ejecute sin que Checker Framework se bloquee en Windows, manteniendo el comportamiento existente en MacOS y Linux.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

Dear all,

The Checker Framework fails in our project on all Windows boxes, while it runs fine on MacOS and Linux. Any idea who to fix this? Currently have we deactivated Checker.

End of remainingJdkStubFilesJar for KeyForAnnotatedTypeFactory from
[file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar](file:///c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar).
Contents of
[file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar](file:///c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar):
error: Error when invoking constructor
org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory(class
org.checkerframework.common.basetype.BaseTypeChecker) on args
[org.checkerframework.checker.nullness.KeyForSubchecker@cb2d73]; cause:
Cannot open the jar file
[file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar](file:///c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar)
  ; The Checker Framework crashed.  Please report the crash. Version:
Checker Framework 3.47.0.

  Exception: org.checkerframework.javacutil.BugInCF: Cannot open the
jar file
[file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar](file:///c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar);
org.checkerframework.javacutil.BugInCF: Cannot open the jar file
[file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar](file:///c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar)

Hope you can help.

Bye,

Oliver

Lenguaje dominante
Java
Estrellas
1.1k
Forks
440
Merge medio
1 d 8 h
PR fusionados (30 d)
149

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de typetools/checker-framework

Todos los issues de typetools/checker-framework

Issues similares

Más issues de Java

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.