Ini adalah pemindai kode sumber C berdasarkan logika simbolis. Ini menganalisis kode sumber C (terutama kernel Linux, di mana itu ditujukan) untuk kesalahan pemrograman dan kerentanan. Tes ditentukan oleh pengguna.
Riwayat versi
- Versi N/A diposting di 2011-08-13
Beberapa perbaikan dan pembaruan - Versi N/A diposting di 2011-08-13
Detil Program
- Kategori: Pengembangan > Lain
- Penerbit: c-logic.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: Array
- Platform: linux