javapathfinder/jpf-core
@javapathfinderJPF 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.
Sterne
616
Forks
412
Sprache
Java
Lizenz
—
Letzter Push
vor 3 Tagen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.