Mathworks Polyspace के लिए ओपन सोर्स विकल्प?

Question

कोई भी ओपन सोर्स प्रोजेक्ट (या शायद वाणिज्यिक परियोजनाओं में उपयोग करने के लिए स्वतंत्र) के बारे में जानता है जो Mathworks Polyspace का विकल्प है?

मैं कोड जांच के लिए उपकरण खोज रहा हूं और स्थिर जांच के लिए कुछ अच्छे विकल्प पाये हैं, लेकिन पॉलीस्पेस इतनी अधिक शक्ति प्रदान करता है। मुझे लगता है कि वहां कोई वास्तविक विकल्प नहीं है, लेकिन शायद आप बेहतर जानते हैं। :)

अनुरोध किया के रूप में (क्षमा करें, देरी के लिए, आर एल पकड़ता ...) मैं इस उपकरण के लिए मेरी पसंदीदा भाषाओं जोड़ें:

1. जावा
2. .NET (मैं के साथ ठीक हो जाएगा सी # केवल)
3. C/C++ (नहीं एक आवश्यक है)

Answer 1

पोलिस्पेस केवल सी, सी ++ और जावा को संभालता है, इसलिए यह वास्तव में एक शक्तिशाली विकल्प है जिसे आप ढूंढ रहे हैं। सी # और जावा में व्यापक रूप से विधियों की गतिशील लुकअप इन भाषाओं को विश्लेषण करने में आसान नहीं बनाती है।

सी के लिए, मुझे पता है कि इस पुराने सवाल है, लेकिन इसलिए यदि आप स्थिर कोड विश्लेषण में रुचि रखते हैं यहाँ list of tools भाषा के अनुसार क्रमबद्ध है उपकरणों के बहुत देखते हैं http://frama-c.cea.fr/

Answer 2

Polyspace कुछ बहुत ही परिष्कृत कार्यक्रम विश्लेषण प्रौद्योगिकी के आसपास बनाया गया है। मुझे नहीं लगता कि आप जल्द ही इस के ओपन सोर्स/फ्री संस्करण देखेंगे।

Answer 3

पर एक नजर है। क्ली

आप जावा कोड के लिए खुला स्रोत उपकरण के लिए केवल देखने के लिए अगर मैं तुम्हें FindBugs

Answer 4

C/C के लिए सिफारिश करेंगे ++ है, जो सुंदर polyspace http://klee.llvm.org

क्ली के करीब लगता है एक उपकरण है कि एक शोध परियोजना का नतीजा है, और यह आपको सीएल/सी ++ प्रोग्राम के प्रतीकात्मक निष्पादन को एलएलवीएम बाइटकोड में संकलित करके और इसे कस्टम दुभाषिया के साथ निष्पादित करके करने की अनुमति देता है। यह रनटाइम त्रुटियों जैसे बफर ओवरफ्लोज़, शून्य और ओवरफिफ़्ट द्वारा डिवीजन की पहचान करने की अनुमति देता है, और जब इसे ऐसी त्रुटि मिलती है तो इसे पुन: उत्पन्न करने के लिए एक परीक्षण केस लिखता है और यह देखने के लिए कि कौन से मान त्रुटि हुई हैं। मूल रूप से मानक कमांड लाइन उपयोगिताओं के लिए लिखा गया है, इसका उपयोग आपके इनपुट प्रतीकात्मक (मैं इसे एम्बेडेड फर्मवेयर पर परीक्षण कर रहा हूं) बनाकर, एक सामान्य कार्यक्रम के लिए भी इस्तेमाल किया जा सकता है। उम्मीद है की यह मदद करेगा!