द्वारा कार्यक्रम c-logic.sf.net

यह प्रतीकात्मक तर्क के आधार पर एक सी स्रोत कोड स्कैनर है। यह प्रोग्रामिंग त्रुटियों और कमजोरियों के लिए सी स्रोत कोड (विशेष रूप से लिनक्स गिरी, जिस पर इसका उद्देश्य है) का विश्लेषण करता है। परीक्षण उपयोगकर्ता द्वारा परिभाषित