javapathfinder

JPF ist ein erweiterbares Software-Analyse-Framework für Java-Bytecode. jpf-core bildet die Basis für alle JPF-Projekte und ist zwingend erforderlich. Es enthält die grundlegende VM sowie die Modellprüfungsinfrastruktur und kann zur Überprüfung auf Nebenläufigkeitsfehler wie Deadlocks sowie unbehandelte Ausnahmen wie NullPointerExceptions und AssertionErrors verwendet werden.