โปรแกรมตาม c-logic.sf.net

นี่คือสแกนเนอร์ซอร์สโค้ด C ตามตรรกะเชิงสัญลักษณ์ มันวิเคราะห์ซอร์สโค้ด C (โดยเฉพาะเคอร์เนล Linux ซึ่งมีวัตถุประสงค์) สําหรับข้อผิดพลาดและช่องโหว่ในการเขียนโปรแกรม การทดสอบถูกกําหนดโดยผู้ใช้