कॅस्पर, लिनक्स कर्नलमध्ये सट्टा कोड अंमलबजावणी समस्यांसाठी स्कॅनर, आता उपलब्ध आहे

अॅमस्टरडॅमच्या फ्री युनिव्हर्सिटीच्या संशोधकांच्या टीमने लिनक्स कर्नलमधील कोड स्निपेट्स ओळखण्यासाठी डिझाइन केलेले कॅस्पर टूलकिट प्रकाशित केले आहे ज्याचा वापर प्रोसेसरवर सट्टा कोडच्या अंमलबजावणीमुळे स्पेक्टर-क्लास असुरक्षा वापरण्यासाठी केला जाऊ शकतो. टूलकिटचा सोर्स कोड Apache 2.0 लायसन्स अंतर्गत वितरित केला जातो.

आपण लक्षात ठेवूया की स्पेक्टर v1 सारखे हल्ले करण्यासाठी, ज्यामुळे मेमरीची सामग्री निश्चित करणे शक्य होते, विशिष्ट आदेशांच्या (गॅझेट्स) विशेषाधिकार कोडमध्ये उपस्थिती आवश्यक आहे, ज्यामुळे सूचनांचे सट्टेबाज अंमलबजावणी होते. . ऑप्टिमायझेशनच्या हेतूंसाठी, प्रोसेसर अशा गॅझेटला सट्टा मोडमध्ये कार्यान्वित करण्यास सुरवात करतो, नंतर निर्धारित करतो की शाखेचा अंदाज न्याय्य नव्हता आणि ऑपरेशन्स त्यांच्या मूळ स्थितीत परत आणतो, परंतु सट्टा अंमलबजावणी दरम्यान प्रक्रिया केलेला डेटा कॅशे आणि मायक्रोआर्किटेक्चरल बफरमध्ये संपतो आणि तृतीय-पक्ष चॅनेलद्वारे अवशिष्ट डेटा निर्धारित करण्यासाठी विविध पद्धती वापरून त्यांच्याकडून पुनर्प्राप्तीसाठी उपलब्ध आहे.

स्पेक्टर असुरक्षिततेसाठी गॅझेट स्कॅन करण्यासाठी पूर्वी उपलब्ध असलेली साधने, ठराविक नमुन्यांच्या शोधावर आधारित, खोट्या सकारात्मकतेची उच्च पातळी दर्शविते, तर अनेक वास्तविक गॅझेट गहाळ आहेत (प्रयोगांनी असे दर्शविले आहे की अशा साधनांद्वारे ओळखले जाणारे 99% गॅझेट हल्ल्यांसाठी वापरले जाऊ शकत नाहीत. , आणि 33% कार्यरत गॅझेट ज्यामुळे आक्रमण होऊ शकते ते लक्षात आले नाही).

समस्याप्रधान गॅझेट ओळखण्याच्या गुणवत्तेत सुधारणा करण्यासाठी, कॅस्पर स्पेक्टर क्लास हल्ले करण्याच्या प्रत्येक टप्प्यावर आक्रमणकर्ता शोषण करू शकणार्‍या भेद्यतेचे मॉडेल बनवते - डेटा नियंत्रणास अनुमती देणार्‍या समस्यांचे मॉडेल तयार केले जाते (उदाहरणार्थ, आक्रमणकर्त्याच्या डेटाला मायक्रोआर्किटेक्चरल स्ट्रक्चर्समध्ये बदलून त्यानंतरच्या सट्टा अंमलबजावणीवर प्रभाव टाकणे. LVI वर्ग हल्ला), गोपनीय माहितीमध्ये प्रवेश मिळवा (उदाहरणार्थ, बफर सीमांच्या पलीकडे जाताना किंवा ती मोकळी केल्यानंतर मेमरी वापरताना) आणि गोपनीय माहिती लीक करा (उदाहरणार्थ, प्रोसेसर कॅशेच्या स्थितीचे विश्लेषण करून किंवा MDS पद्धत वापरून).

चाचणी करताना, कर्नल कॅस्पर रनटाइम लायब्ररीशी जोडलेले असते आणि LLVM स्तरावर चालणारे तपासते. चेकपॉईंट-रिस्टोर मेकॅनिझम वापरून अंमलात आणलेल्या, चेकपॉईंट-रिस्टोर मेकॅनिझमचा वापर करून चेकिंग प्रक्रिया सट्टा कोड अंमलबजावणीचे अनुकरण करते, जी विशेषतः चुकीच्या अंदाजित कोड शाखा कार्यान्वित करते आणि नंतर शाखा सुरू होण्यापूर्वी मूळ स्थितीत परत येते. कॅस्पर विविध सॉफ्टवेअर आणि हार्डवेअर भेद्यतेचे अनुकरण करण्याचा प्रयत्न करते, आर्किटेक्चरल आणि मायक्रोआर्किटेक्चरल इफेक्ट्सच्या प्रभावाचे विश्लेषण करते आणि हल्लेखोरांच्या संभाव्य क्रियांची फझ चाचणी करते. अंमलबजावणीच्या प्रवाहाचे विश्लेषण करण्यासाठी, लिनक्स कर्नलसाठी डेटाफ्लो सॅनिटायझर पोर्ट वापरला जातो आणि फझिंग चाचणीसाठी, syzkaller पॅकेजची सुधारित आवृत्ती वापरली जाते.

कॅस्पर वापरून लिनक्स कर्नलच्या स्कॅनने 1379 पूर्वी अज्ञात गॅझेट ओळखले जे सूचनांच्या सट्टेबाज अंमलबजावणी दरम्यान संभाव्यपणे डेटा लीक होऊ शकतात. हे लक्षात घेतले आहे की कदाचित त्यापैकी फक्त काही वास्तविक समस्या निर्माण करू शकतात, परंतु एक वास्तविक धोका आहे हे दाखवण्यासाठी आणि केवळ सैद्धांतिक नाही, समस्याग्रस्त कोडच्या तुकड्यांपैकी एकासाठी शोषणाचा एक कार्यरत नमुना विकसित केला गेला, ज्यामुळे माहिती प्राप्त झाली. कर्नल मेमरीमधून गळती.

स्त्रोत: opennet.ru