1 रिपॉजिटरी
Technical implementations of standardized nullness annotations for consistent tool interpretation across libraries.
Distinguishing note: None of the candidates cover language-agnostic or JSpecify-style nullability standards specifically
Explore 1 awesome GitHub repository matching programming languages & runtimes · Nullability Standard Implementations. Refine with filters or upvote what's useful.
NullAway एक Java स्टेटिक एनालिसिस टूल और बिल्ड-टाइम डिटेक्टर है जिसे नल पॉइंटर जोखिमों की पहचान करने के लिए डिज़ाइन किया गया है। यह एक नलेबिलिटी चेकर के रूप में कार्य करता है जो यह सत्यापित करने के लिए एनोटेशन का उपयोग करता है कि रेफरेंस को डी-रेफरेंस करने से पहले वे नल नहीं हैं, जिससे रनटाइम क्रैश को रोका जा सके। यह एनालाइजर विभिन्न Java लाइब्रेरीज़ में सुसंगत नलेबिलिटी एनोटेशन सुनिश्चित करने के लिए JSpecify स्टैंडर्ड को लागू करता है। यह उन थर्ड-पार्टी लाइब्रेरीज़ के नलेबिलिटी व्यवहार को मॉडल करने के लिए सर्विस प्रोवाइडर इंटरफेस के उपयोग के माध्यम से खुद को अलग करता है जिनमें सोर्स एनोटेशन की कमी है और Lombok-जनरेटेड कोड के लिए विशेष समर्थन प्रदान करता है। यह टूल मेथड ओवरराइड्स के लिए Java API कॉन्ट्रैक्ट वैलिडेशन और खाली वैकल्पिक वैल्यू रिट्रीवल का पता लगाने सहित सुरक्षा प्रवर्तन क्षमताओं की एक विस्तृत श्रृंखला को कवर करता है। इसका विश्लेषण सरफेस पैकेज-लेवल नलेबिलिटी मार्किंग और विश्लेषण से जनरेटेड सोर्स कोड को बाहर करने की क्षमता तक फैला हुआ है।
Implements the JSpecify standard to ensure consistent nullability annotations across different Java libraries.