Software screenshot:
Rincian Software:
ESC proyek / Java2 Frontend mengurai kode Java 1.4 sumber dan Java 1.5 bytecode menjadi Abstrak Sintaks Pohon yang dapat digunakan untuk Extended Memeriksa statis.
Diperpanjang Static Checker untuk Java versi 2 (ESC / Java2) adalah alat pemrograman yang mencoba untuk menemukan kesalahan run-time umum dalam program Java JML-dijelaskan dengan analisis statis kode program dan penjelasan formal. Pengguna dapat mengontrol jumlah dan jenis pemeriksaan yang ESC / Java2 melakukan oleh annotating program mereka dengan komentar diformat khusus yang disebut pragmas.
ESC / Java2 tersedia dalam dua bentuk:
Komentar tidak ditemukan