9
ऐसा लगता है कि .NET 4.0 कोड अनुबंधों के उपयोग के लिए स्थिर विश्लेषक केवल विजुअल स्टूडियो के टीम सूट संस्करणों के लिए उपलब्ध होगा - यह मेरी टीम के लिए बजट के बाहर अच्छी तरह से रखता है।नेट 4 कोड के किसी भी विकल्प स्थिर विश्लेषक अनुबंध करता है?
क्या कोई विकल्प (ओपन सोर्स, फ्री या उचित मूल्य) है जो अनुबंध शैली कोड (आवश्यक रूप से .NET कोड अनुबंधों का उपयोग नहीं) द्वारा डिजाइन के लिए समान स्थिर विश्लेषण प्रदान करता है। मुझे लगता है कि जवाब अनुमानित नहीं होगा क्योंकि पूर्ण मूल्य केवल तब आता है जब बीसीएल के पास अनुबंध होते हैं - लेकिन क्या कोई ऐसा तरीका है जो रास्ते का हिस्सा बनता है?
एक त्वरित नज़र में जो वास्तव में प्रभावशाली दिखता है - खासकर सभी प्लगइन के साथ। विशेष रूप से मूल्य विश्लेषण प्लगइन उन चीज़ों में से एक है जो मैं उपयोग करना चाहता हूं। मैं निश्चित रूप से इसे देख लूंगा! मैं देखता हूं कि यह सी परिवार में किसी भी चीज के लिए एक सामान्य टूलसेट है - यह किसी भी अनुभव से कैसे सी # या सामान्य नुकसान से बचने के लिए फिट बैठता है? – FinnNk
@FinnNk मुझे "सी परिवार में कुछ भी" के बारे में निश्चित नहीं है ... यह केवल सी के लिए है। प्रारंभिक प्रयास महत्वपूर्ण एम्बेडेड सी को संभालने की दिशा में था, इसलिए सी # या अन्य भाषाओं को इंटरफेस करने की समस्या अनुबंध के लिए अपने स्वयं के वाक्यविन्यास के साथ है पूरी तरह से अनदेखा किया। और चूंकि अभी भी .NET अनुबंध पक्ष पर बहुत कुछ हो रहा है, यह अभी भी थोड़ा सा समयपूर्व होगा, हालांकि यह एक दिलचस्प विषय की तरह लगता है। –
@FinnNk मूल्य विश्लेषण प्लग-इन में, नुकसान के संबंध में, आप जल्दी से पाएंगे कि एसीएसएल समर्थन काफी आंशिक है (एसीएसएल के सबसेट में भी जिसे स्वचालित, आगे-प्रसार स्थिर विश्लेषण में समर्थित किया जा सकता है)। एक विशिष्ट सीमा के रूप में, मूल्य विश्लेषण अभी भी पोस्ट-स्थितियों में \ परिणाम को समझ में नहीं आता है। क्या आपने जेसी के ट्यूटोरियल को देखा है? इसमें ठेके के रूप में व्यक्त सरल कार्यों के लिए कुछ पूर्ण विनिर्देश हैं। http://frama-c.cea.fr/jessie_tutorial_index.html –