static-analysis

10गर्मी

1उत्तर

क्या आपने कभी स्थिर विश्लेषण टूल क्लोकवर्क और फाइंडबग की तुलना की है?

हम क्लासिक को एक स्थिर विश्लेषण उपकरण के रूप में उपयोग कर रहे हैं। Klocwork एक वाणिज्यिक उपकरण है और कई फायदे हैं, लेकिन यह भी झूठी सकारात्मक तरह सीमाएँ हैं। मुझे आश्चर्य है कि किसने कभी क्लॉकवर्क की

14गर्मी

1उत्तर

कुछ/सभी नियमों के लिए कोड के अनुभागों को अनदेखा करने के लिए वेरा ++ कैसे प्राप्त करें?

मैं अपने सी ++ कोड पर कुछ स्थिर विश्लेषण करने के लिए Vera++ का उपयोग कर रहा हूं। (विजुअल स्टूडियो 2008 में) हालांकि, मेरे पास कुछ कोड हैं जो मुझे पता है, और स्वीकार करते हैं, कुछ नियम तोड़ देंगे। मैं

5गर्मी

2उत्तर

.NET

के लिए लगातार प्रचार पुस्तकालय अमूर्त स्थिर विश्लेषण के लिए कोई खुला स्रोत .NET (C#/F #) लाइब्रेरी मौजूद है या नहीं? वर्तमान में मैं निरंतर प्रचार एल्गोरिदम में रूचि रखता हूं। यह सार (भाषा अपरिचित) और

5गर्मी

2उत्तर

सी ++ चर बनाने के लिए

मुझे "कॉन्स्ट" पसंद है। मैं हर चर और विधि की इच्छा करता हूं कि "होना चाहिए" आईएस "कॉन्स्ट" होना चाहिए। समस्या यह है कि क्या एक चर या विधि "होना चाहिए" कॉल पेड़ में विधियों/चरों पर आगे निर्भर करता है।

5गर्मी

2उत्तर

cppcheck विश्लेषण

के परिणामस्वरूप टीमसिटी में निर्माण विफल होने का कोई भी तरीका मैं अपने प्रोजेक्ट में स्थिर कोड विश्लेषण और निरंतर एकीकरण के लिए टीमसिटी के लिए cppcheck का उपयोग करता हूं। यह अच्छा होगा अगर निर्माण सर्

15गर्मी

2उत्तर

आवेदक म्यूटोरियल विश्लेषण

मैं आवेदक functors के स्थिर विश्लेषण के बारे में जानने की कोशिश कर रहा हूं। कई सूत्रों का कहना है कि मोनैड पर उनका उपयोग करने का लाभ स्थिर विश्लेषण की संवेदनशीलता है। हालांकि, केवल example मैं वास्तव

6गर्मी

2उत्तर

क्या आईडीईए में कोई @NonNullByDefault एनोटेशन है?

ग्रहण में @NonNullByDefault एनोटेशन है, जो सभी मानों को @NonNull के रूप में मानता है जब तक कि आप उन्हें @Nullable के रूप में स्पष्ट रूप से एनोटेट नहीं करते। क्या इंटेलिजे आईडीईए में कोई समकक्ष विकल्प

16गर्मी

5उत्तर

बंद प्रकार के वर्ग

क्या एक टाइपक्लास बनाना संभव है जो अब नए सदस्यों को स्वीकार नहीं कर सकता (शायद मॉड्यूल सीमाओं का उपयोग करके)? मैं एक पूर्ण आवृत्ति परिभाषा के लिए आवश्यक एक फ़ंक्शन को निर्यात करने से इंकार कर सकता हूं

12गर्मी

4उत्तर

कौन सा प्रोग्राम स्लाइसिंग उपकरण वास्तव में मौजूद है?

मुझे अभी "प्रोग्राम स्लाइसिंग" शब्द से पेश किया गया है। यह सही समझ में आता है कि कोई ऐसी कार्यक्षमता चाहेगा, लेकिन क्या यह कहीं भी मौजूद है? शब्द अब 20 साल का है, और मुझे लगता है कि बहुत से प्रकाशन, श

7गर्मी

4उत्तर

स्टेटिक कोड विश्लेषक, लगातार लाइनों में, कोड पैटर्न

मैं एक नया कोड बेस में घटनाओं की एक संख्या जहां एक दृश्य की विधि की तरह कॉल रहे हैं का पता लगाने के object o = something.foo(); bar(o); something.foobar(); । मैं अपने कोड में ऐसे अनुक्रम की कुल सं