javapathfinder

JPF adalah kerangka kerja analisis perangkat lunak yang dapat diperluas untuk bytecode Java. jpf-core adalah dasar untuk semua proyek JPF; Anda selalu perlu menginstalnya. Ini berisi infrastruktur VM dasar dan pemeriksaan model, serta dapat digunakan untuk memeriksa cacat konkurensi seperti deadlock, dan pengecualian yang tidak tertangani seperti NullPointerExceptions dan AssertionErrors.