Program menurut c-logic.sf.net

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.