Atur cara mengikut c-logic.sf.net

Ini adalah pengimbas kod sumber C berdasarkan logik simbolik. Ia menganalirkan kod sumber C (terutamanya linux kernel, di mana ia bertujuan) untuk kesilapan pengaturcaraan dan kelemahan. Ujian ditakrifkan oleh pengguna.