javapathfinder/jpf-core

JPF est un framework d'analyse logicielle extensible pour le bytecode Java. jpf-core est la base de tous les projets JPF ; vous devez toujours l'installer. Il contient l'infrastructure de base de la machine virtuelle et de vérification de modèles, et peut être utilisé pour détecter des défauts de concurrence comme les interblocages (deadlocks), ainsi que des exceptions non gérées comme NullPointerExceptions et AssertionErrors.