static-analysis

5गर्मी

1उत्तर

सी # कोड

में बेजोड़ अपवाद खोजें मुझे लगता है कि स्थिर कोड विश्लेषण का उपयोग कर सी # में बेजोड़ अपवादों को खोजने के लिए कोई उपकरण है या नहीं? असल में मैं एक विधि ए() का चयन करना चाहता हूं और methodA() द्वारा वि

c# .net exception code-analysis static-analysis 2011-10-12

---

10गर्मी

2उत्तर

एलएलवीएम

का उपयोग कर सी/सी ++ कोड इंस्ट्रूमेंटिंग मैं हर मेमोरी एक्सेस के लिए एलएलवीएम पास लिखना चाहता हूं। यहां मैं जो करने की कोशिश कर रहा हूं वह यहां है। किसी भी सी/सी ++ प्रोग्राम (जैसा कि नीचे दिया गया है

c++ c static-analysis instrumentation 2011-10-18

---

7गर्मी

5उत्तर

अप्रारंभीकृत स्थैतिक चर

मैं एक बदसूरत और विशाल गणित सी पुस्तकालय, शायद एक बार f2c द्वारा उत्पादित डिबग करने के लिए की जरूरत है पर नज़र रखने। कोड स्थानीय स्थैतिक चर का दुरुपयोग करती है, और दुर्भाग्य से कहीं यह तथ्य यह है कि इ

c valgrind static-analysis 2011-10-19

---

36गर्मी

2उत्तर

@ guarded java.util.concurrent.locks.ReadWriteLock

ReadWriteLock से सुरक्षित फ़ील्ड को एनोटेट करने के लिए उचित/पसंदीदा तरीका क्या है ताकि FindBugs जैसे टूल एनोटेशन का लाभ उठा सकें? ReadWriteLock का नाम बस @GuardedBy एनोटेशन में लिखा जाना चाहिए। @Guard

java concurrency annotations static-analysis findbugs 2011-10-19

---

8गर्मी

2उत्तर

सी प्रोग्राम के लिए प्रोग्राम निर्भरता ग्राफ कैसे उत्पन्न करें?

मैं सी स्रोत कोड से प्रोग्राम निर्भरता ग्राफ (पीडीजी) उत्पन्न करना चाहता हूं। मुझे कागजात मिलते हैं जो बताते हैं कि यह कैसे करता है, लेकिन सभी ने वाणिज्यिक कोडसुरफर टूल का उपयोग किया। क्या कोई ऐसा निः

c++ c graph static-analysis 2011-10-26

---

5गर्मी

2उत्तर

सी परियोजनाओं में स्थिर कोड विश्लेषण के लिए पीवीएस-स्टूडियो जैसे उपकरण?

सी परियोजनाओं में कुछ स्थिर कोड विश्लेषण चलाने के लिए, PVS-Studio उपकरण के कुछ विकल्प ढूंढ रहा हूं। क्या तुम लोगों के पास कोई सुझाव हैं?

c static-analysis 2011-12-20

---

5गर्मी

1उत्तर

एरलांग डायलज़र बनाया गया मज़े कोई स्थानीय रिटर्न नहीं है

मैं अपनी परियोजना के लिए डायलज़र चलाता हूं। मुझे मिल गया: test.erl:97: The created fun has no local return 97 लाइन में मेरे पास है: List = lists:filter(fun(X) -> {_, _, SomeBoolFlag} = X

erlang static-analysis 2011-12-21

---

19गर्मी

4उत्तर

लिनक्स में सी के लिए स्टेटिक कोड विश्लेषक ++

संभव डुप्लिकेट: What open source C++ static analysis tools are available? किसी को भी एक खुला स्रोत का पता है, लिनक्स में सी ++ कोड के लिए अच्छा स्थिर कोड विश्लेषक? कोड कोड समीक्षा स्थिति में कोड आने स

c++ linux open-source static-analysis 2011-11-09

---

6गर्मी

2उत्तर

सी कार्यक्रमों के लिए एक स्थिर invariant खोज उपकरण है?

मैं ऐसे टूल की तलाश में हूं जो सी प्रोग्रामों में आविष्कारों को स्थिर रूप से खोज सके। मैंने Daikon की जांच की लेकिन यह केवल गतिशील रूप से इनवेंचर्स को खोजता है। क्या कोई उपकरण उपलब्ध है जो मैं ढूंढ रह

c static-analysis invariants 2011-11-11

---

16गर्मी

2उत्तर

एलएलवीएम

का उपयोग कर सी/सी ++ कोड इंस्ट्रूमेंटिंग मैं सिर्फ एलएलवीएम प्रोजेक्ट के बारे में पढ़ता हूं और इसका उपयोग एलएलवीएम के फ्रंट एंड विश्लेषक क्लेंग का उपयोग करके सी/सी ++ कोड पर स्थिर विश्लेषण करने के लिए

c++ llvm static-analysis clang instrumentation 2011-09-23

---