एलएलवीएम परियोजना सी++ में बफ़र्स के साथ सुरक्षित रूप से काम करने के लिए उपकरण विकसित करती है

एलएलवीएम परियोजना के डेवलपर्स ने मिशन-महत्वपूर्ण सी++ परियोजनाओं की सुरक्षा को मजबूत करने और बफ़र्स के ओवररन के कारण होने वाली त्रुटियों को खत्म करने के साधन प्रदान करने के उद्देश्य से कई बदलावों का प्रस्ताव दिया है। काम दो क्षेत्रों पर केंद्रित है: एक विकास मॉडल प्रदान करना जो बफ़र्स के साथ सुरक्षित काम की अनुमति देता है, और कार्यों की libc++ मानक लाइब्रेरी की सुरक्षा को मजबूत करने के लिए काम करना।

C++ के लिए प्रस्तावित सुरक्षित प्रोग्रामिंग मॉडल में बफ़र्स के साथ काम करते समय नंगे पॉइंटर्स में हेरफेर करने के बजाय मानक लाइब्रेरी द्वारा प्रदान की गई कक्षाओं का उपयोग करना शामिल है। उदाहरण के लिए, std::array, std::vector और std::span कक्षाओं का उपयोग करने का प्रस्ताव है, जो अधिक आवंटित मेमोरी के लिए रन-टाइम चेक जोड़ देगा।

क्लैंग में खतरनाक प्रोग्रामिंग प्रथाओं का मुकाबला करने के लिए, "सीपीपीकोरगाइडलाइन्स-प्रो-बाउंड्स-पॉइंटर-अरिथमेटिक" ध्वज का उपयोग करते समय क्लैंग-टिडी लिंटर चेतावनियों आउटपुट के समान, सभी पॉइंटर अंकगणितीय संचालन के लिए कंपाइलर चेतावनियां प्रदर्शित करने का प्रस्ताव है, जिसके लिए समर्थन होगा रिलीज़ एलएलवीएम 16 में दिखाई देगा। ऐसी चेतावनियों को सक्षम करने के लिए, क्लैंग में एक अलग ध्वज जोड़ा जाएगा, जो डिफ़ॉल्ट रूप से सक्रिय नहीं है।

यह libc++ में एक वैकल्पिक उन्नत सुरक्षा मोड लागू करने की योजना बनाई गई है, जो सक्षम होने पर, रनटाइम पर कुछ स्थितियों को पकड़ लेगा जो अपरिभाषित व्यवहार का कारण बनती हैं। उदाहरण के लिए, std::span और std::vector कक्षाओं में, आउट-ऑफ-बाउंड मेमोरी एक्सेस की निगरानी की जाएगी, और यदि पता चला, तो प्रोग्राम क्रैश हो जाएगा। डेवलपर्स का मानना ​​है कि इस तरह के बदलावों को जोड़ने से libc++ C++ मानकों के अनुपालन में रहेगा, क्योंकि अपरिभाषित व्यवहार के मामलों को कैसे संभालना है इसका विकल्प लाइब्रेरी डेवलपर्स के पास है, जो अन्य बातों के अलावा, अपरिभाषित व्यवहार को विफलता मान सकते हैं, जिसके लिए इसकी आवश्यकता होती है। समाप्त करने का कार्यक्रम.

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

इसके अतिरिक्त, कोड को समायोजित करने के लिए उपकरण तैयार करने की योजना बनाई गई है, जिससे आप नंगे पॉइंटर्स वाले वेरिएबल्स को कंटेनरों से बदल सकते हैं और उन स्थितियों में वैकल्पिक हैंडलर का उपयोग कर सकते हैं जहां कंटेनर सीधे पॉइंटर को प्रतिस्थापित नहीं कर सकता है (उदाहरण के लिए, "if(array_pointer)" निर्माण कर सकता है "if(span.data) ()") में परिवर्तित किया जा सकता है। समायोजन न केवल स्थानीय चर पर लागू किया जा सकता है, बल्कि सूचक प्रकारों के मापदंडों पर भी लागू किया जा सकता है।

स्रोत: opennet.ru