C-logic

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 5.0/5 - ‎1 ‎Oy

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ı