यह प्रतीकात्मक तर्क के आधार पर एक सी स्रोत कोड स्कैनर है। यह प्रोग्रामिंग त्रुटियों और कमजोरियों के लिए सी स्रोत कोड (विशेष रूप से लिनक्स गिरी, जिस पर इसका उद्देश्य है) का विश्लेषण करता है। परीक्षण उपयोगकर्ता द्वारा परिभाषित किए जाते हैं।
संस्करण इतिहास
- विवरण N/A पर तैनात 2011-08-13
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-08-13
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: c-logic.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: linux