javapathfinder/jpf-core
@javapathfinderJPF, Java बाइटकोड के लिए एक विस्तार योग्य सॉफ़्टवेयर विश्लेषण फ्रेमवर्क है। jpf-core सभी JPF प्रोजेक्ट्स का आधार है; इसे इंस्टॉल करना अनिवार्य है। इसमें बुनियादी VM और मॉडल चेकिंग इंफ्रास्ट्रक्चर शामिल है, और इसका उपयोग डेडलॉक जैसी समवर्ती त्रुटियों और NullPointerExceptions या AssertionErrors जैसी अनहैंडल्ड अपवादों की जांच के लिए किया जा सकता है।
स्टार
616
फ़ोर्क
412
भाषा
Java
लाइसेंस
—
आख़िरी push
3 दिन पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।