RTOS Zephyr में 25 कमजोरियाँ, जिनमें ICMP पैकेट के माध्यम से शोषण की गई कमजोरियाँ भी शामिल हैं

एनसीसी ग्रुप के शोधकर्ता प्रकाशित निःशुल्क परियोजना लेखापरीक्षा परिणाम पछुवा हवा, विकसित होना एक वास्तविक समय ऑपरेटिंग सिस्टम (आरटीओएस), जिसका उद्देश्य उन उपकरणों को लैस करना है जो इंटरनेट ऑफ थिंग्स अवधारणा (आईओटी, इंटरनेट ऑफ थिंग्स) का अनुपालन करते हैं। ऑडिट के दौरान इसका खुलासा हुआ 25 कमजोरियाँ Zephyr में और MCUboot में 1 भेद्यता। ज़ेफिर को इंटेल कंपनियों की भागीदारी से विकसित किया जा रहा है।

कुल मिलाकर, नेटवर्क स्टैक में 6 कमजोरियाँ, कर्नेल में 4, कमांड शेल में 2, सिस्टम कॉल हैंडलर में 5, यूएसबी सबसिस्टम में 5 और फर्मवेयर अपडेट मैकेनिज्म में 3 कमजोरियों की पहचान की गई। दो मुद्दों को गंभीर, दो को उच्च, 9 को मध्यम, 9 को निम्न और 4 को विचारार्थ दर्जा दिया गया है। गंभीर समस्याएँ IPv4 स्टैक और MQTT पार्सर को प्रभावित करती हैं, खतरनाक समस्याएँ USB मास स्टोरेज और USB DFU ड्राइवरों को प्रभावित करती हैं। जानकारी के प्रकटीकरण के समय, केवल 15 सबसे खतरनाक कमजोरियों के लिए समाधान तैयार किए गए थे; सेवा से इनकार करने वाली या अतिरिक्त कर्नेल सुरक्षा तंत्र में खामियों से जुड़ी समस्याओं को ठीक नहीं किया गया है।

प्लेटफ़ॉर्म के IPv4 स्टैक में एक दूरस्थ रूप से शोषण योग्य भेद्यता की पहचान की गई है जो एक निश्चित तरीके से संशोधित ICMP पैकेट को संसाधित करते समय मेमोरी भ्रष्टाचार की ओर ले जाती है। एमक्यूटीटी प्रोटोकॉल पार्सर में एक और गंभीर समस्या पाई गई, जो हेडर फ़ील्ड की उचित लंबाई की जांच की कमी के कारण होती है और रिमोट कोड निष्पादन का कारण बन सकती है। IPv6 स्टैक और CoAP प्रोटोकॉल कार्यान्वयन में सेवा से इनकार के कम गंभीर मुद्दे पाए जाते हैं।

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

कई समस्याएँ USB स्टैक और व्यक्तिगत ड्राइवरों को प्रभावित करती हैं। उदाहरण के लिए, जब डिवाइस हमलावर द्वारा नियंत्रित यूएसबी होस्ट से जुड़ा होता है, तो यूएसबी मास स्टोरेज में समस्याएं बफर ओवरफ्लो का कारण बन सकती हैं और कर्नेल स्तर पर कोड निष्पादित कर सकती हैं। यूएसबी डीएफयू में एक भेद्यता, यूएसबी के माध्यम से नए फर्मवेयर लोड करने के लिए एक ड्राइवर, आपको एन्क्रिप्शन का उपयोग किए बिना और डिजिटल हस्ताक्षर का उपयोग करके घटकों के सत्यापन के साथ सुरक्षित बूट मोड को बायपास किए बिना एक संशोधित फर्मवेयर छवि को माइक्रोकंट्रोलर के आंतरिक फ्लैश में लोड करने की अनुमति देता है। इसके अतिरिक्त, ओपन बूटलोडर कोड का अध्ययन किया गया एमसीयूबूट, जिसमें एक सौम्य भेद्यता पाई गई,
जो यूएआरटी पर एसएमपी (सिंपल मैनेजमेंट प्रोटोकॉल) प्रोटोकॉल का उपयोग करते समय बफर ओवरफ्लो का कारण बन सकता है।

याद रखें कि ज़ेफिर में, सभी प्रक्रियाओं के लिए केवल एक वैश्विक साझा वर्चुअल एड्रेस स्पेस (एसएएसओएस, सिंगल एड्रेस स्पेस ऑपरेटिंग सिस्टम) प्रदान किया जाता है। एप्लिकेशन-विशिष्ट कोड को एप्लिकेशन-विशिष्ट कर्नेल के साथ जोड़कर एक अखंड निष्पादन योग्य बनाया जाता है जिसे विशिष्ट हार्डवेयर पर लोड और चलाया जा सकता है। सभी सिस्टम संसाधन संकलन समय पर निर्धारित किए जाते हैं, जिससे कोड का आकार कम होता है और प्रदर्शन बढ़ता है। सिस्टम छवि में केवल वे कर्नेल सुविधाएँ शामिल हो सकती हैं जो एप्लिकेशन को चलाने के लिए आवश्यक हैं।

यह उल्लेखनीय है कि ज़ेफायर के प्रमुख लाभों में से एक है उल्लेख किया सुरक्षा को ध्यान में रखते हुए विकास. अनुमतविकास के सभी चरण कोड की सुरक्षा की पुष्टि के अनिवार्य चरणों से गुजरते हैं: फ़ज़िंग परीक्षण, स्थैतिक विश्लेषण, प्रवेश परीक्षण, कोड समीक्षा, पिछले दरवाजे कार्यान्वयन का विश्लेषण और खतरा मॉडलिंग।

स्रोत: opennet.ru