โปรแกรมตาม smatch.sf.net

การทดลองในการค้นหาข้อผิดพลาดของเคอร์เนลมีสองส่วนหลักเพื่อ Smatch สิ่งแรกคือแพทช์ไปยังแหล่ง gcc เพื่อพิมพ์ข้อมูลจํานวนมาก ส่วนที่สองคือชุดของสคริปต์ perl และห้องสมุดเพื่อวิเคราะห์ข้อมูล