चेकपोइन्टले सेफ-लिङ्किङ सुरक्षा प्रविधिको प्रस्ताव राख्यो, जसले गर्दा कमजोरीहरूको शोषण गर्न अझ गाह्रो भयो

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

सुरक्षित-लिङ्किङ लागू गर्ने प्याचहरू Glibc (ptmalloc), uClibc-NG (dlmalloc), gperftools (tcmalloc) र Google TCMalloc को लागि तयार पारिएका छन्, र क्रोमियम (मा) मा सुरक्षा अपग्रेड गर्न पनि प्रस्तावित छन्।
2012 देखि, क्रोमियमले पहिले नै मास्कपीटीआर सुरक्षा प्रविधिमा समान समस्या समाधान गर्ने उद्देश्यले निर्माण गरिसकेको छ, तर चेकपोइन्टबाट समाधानले उच्च प्रदर्शन देखाउँदछ)।
सुझाव गरिएका प्याचहरू अगस्ट रिलीजमा डेलिभरीको लागि स्वीकृत भइसकेका छन् Glibc २.3.32० र पूर्वनिर्धारित रूपमा सुरक्षित-लिङ्किङ सक्षम हुनेछ। uClibc-NG ले सुरक्षित-लिङ्किङलाई समर्थन गर्दछ प्रवेश गर्नुभयो रिलीज 1.0.33 मा समावेश र पूर्वनिर्धारित रूपमा सक्षम छ। gperftools मा परिवर्तनहरू (पुरानो tcmalloc) स्वीकार गरियो, तर भविष्यको रिलीजमा विकल्पको रूपमा प्रस्ताव गरिनेछ।

विकासकर्ताहरू TCMalloc (नयाँ tcmalloc) ले स्वीकार गर्न अस्वीकार गर्यो संशोधन, गम्भिर कार्यसम्पादन गिरावट र सबै कुरा अपेक्षित रूपमा काम गरिरहेको छ भनी नियमित रूपमा जाँच गर्न व्यापक परीक्षणहरू थप्न आवश्यक रहेको उल्लेख गर्दै। चेकपोइन्ट इन्जिनियरहरूद्वारा गरिएको परीक्षणले देखाएको छ कि सुरक्षित-लिङ्किङ विधिले अतिरिक्त मेमोरी खपतमा नेतृत्व गर्दैन, र हिप अपरेशनहरू प्रदर्शन गर्दा प्रदर्शन औसतमा ०.०२% ले घटाइन्छ, र सबैभन्दा खराब अवस्थामा 0.02% (तुलनाको लागि, ओभरहेडमा)। Chromium मा प्रयोग गरिएको विधि "1.5% भन्दा कम" को रूपमा अनुमान गरिएको छ)। समावेश
सेफ-लिङ्किङको परिणामले 2-3 अतिरिक्त असेंबली निर्देशनहरू प्रत्येक पटक नि:शुल्क() कल गर्दा, र 3-4 निर्देशनहरू प्रत्येक पटक malloc() बोलाइन्छ। प्रारम्भिक र अनियमित मूल्य उत्पादन चरणहरू चलाउन आवश्यक छैन।

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

+#परिभाषित गर्नुहोस् PROTECT_PTR(pos, ptr) \
+ ((__प्रकार (पीटीआर)) ((((साइज_टी) स्थिति) >> १२) ^ ((साइज_टी) पीटीआर)))

+#REVEAL_PTR(ptr) PROTECT_PTR (&ptr, ptr) परिभाषित गर्नुहोस्

- nextp = p->fd;
+ nextp = REVEAL_PTR (p->fd);
...

विधिको सार भनेको ASLR ठेगाना अनियमितता संयन्त्र (mmap_base) बाट एकल लिङ्क गरिएको सूचीहरू जस्तै फास्ट-बिन र TCache लाई सुरक्षित गर्नको लागि अनियमित डेटा प्रयोग गर्नु हो। सूचीको अर्को तत्वमा सूचकमा मान लागू गर्नु अघि, यसले मास्क रूपान्तरण गर्छ र पृष्ठ पङ्क्तिबद्धताको लागि जाँच गर्दछ। सूचकलाई अपरेशन "(L >> PAGE_SHIFT) XOR (P)" को नतिजाद्वारा प्रतिस्थापन गरिएको छ, जहाँ P पोइन्टरको मान हो र L भनेको मेमोरी स्थान हो जहाँ पोइन्टर भण्डार गरिएको छ।

प्रणालीमा प्रयोग गर्दा ASLR (ठेगाना स्पेस लेआउट अनियमितता) हिप आधार ठेगानाको साथ L बिट्सको भागमा अनियमित मानहरू छन् जुन P इन्कोड गर्न कुञ्जीको रूपमा प्रयोग गरिन्छ (४०९६-बाइट पृष्ठहरूको लागि १२-बिट शिफ्ट अपरेशनद्वारा निकालिएको)। यो हेरफेरले शोषणमा सूचक अपहरणको जोखिमलाई कम गर्दछ, किनकि सूचक यसको मूल रूपमा भण्डार गरिएको छैन र यसलाई प्रतिस्थापन गर्नको लागि हिप एलोकेशनको ज्ञान चाहिन्छ। थप रूपमा, प्याच कोडले ब्लक पङ्क्तिबद्धताको लागि अतिरिक्त जाँच पनि समावेश गर्दछ, जसले आक्रमणकर्तालाई एक असंरेखित मानको साथ सूचक प्रतिस्थापन गर्न अनुमति दिँदैन र पङ्क्तिबद्ध गरिएका बिटहरूको संख्याको ज्ञान चाहिन्छ, जुन 12-बिट प्रणालीहरूमा थप रूपमा ब्लक गर्न अनुमति दिन्छ। 4096 मध्ये 64 आक्रमण प्रयासहरू जसले पङ्क्तिबद्धतालाई ध्यानमा राख्दैन।

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

स्रोत: opennet.ru