javapathfinder/jpf-core
@javapathfinderJPF es un framework extensible de análisis de software para bytecode de Java. jpf-core es la base de todos los proyectos JPF; siempre es necesario instalarlo. Contiene la infraestructura básica de VM y verificación de modelos, y puede usarse para detectar defectos de concurrencia como interbloqueos y excepciones no controladas como NullPointerExceptions y AssertionErrors.
Estrellas
616
Bifurcaciones
412
Lenguaje
Java
Licencia
—
Último push
hace 3 días
Intel relacionado (0)
Aún no hay intel relacionado
Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.