Tarafından Programlar c-logic.sf.net

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.