static-analysis

6गर्मी

3उत्तर

दो मानों

MSDN documentationFlag विशेषता के लिए की शक्ति के बिना झंडा enums का कहना है कि आप करना चाहिए: दो की शक्तियों में शुमार स्थिरांक को परिभाषित करें, कि, है 1, 2, 4, 8, और इतने पर । इसका मतलब है कि संयुक

c# design enums code-analysis static-analysis 2011-08-20

---

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

---

14गर्मी

3उत्तर

जावा में अनजान I/O संसाधन कैसे खोजें?

जावा में कई I/O संसाधन जैसे इनपुटस्ट्रीम और आउटपुटस्ट्रीम को समाप्त होने पर बंद होने की आवश्यकता है, जैसा कि here पर चर्चा की गई है। मैं उन स्थानों के लिए अपनी परियोजना कैसे खोज सकता हूं जहां ऐसे संसा

java resources io static-analysis 2011-09-08

---

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

---