Bu sembolik mantığa dayalı bir C kaynak kodu tarayıcı. Programlama hataları ve güvenlik açıkları için C kaynak kodunu (özellikle linux çekirdeğinin amacı) analiz eder. Testler kullanıcı tarafından tanımlanır.
sürüm geçmişi
- Sürüm N/A tarihinde gönderildi 2011-08-13
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm N/A tarihinde gönderildi 2011-08-13
Program Detayları
- Kategori: Geliştirme > Diğer
- Yayımcı: c-logic.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: Array
- Platform: linux