ការជួសជុលកន្ទួលបណ្តាលឱ្យមានការជួសជុលមិនពេញលេញសម្រាប់ភាពងាយរងគ្រោះ Spectre នៅក្នុងខឺណែលលីនុច

អ្នកអភិវឌ្ឍន៍គម្រោង Grsecurity ចែករំលែក រឿងនិទានប្រុងប្រយ័ត្នដែលបង្ហាញពីរបៀបដែលការលុបចោលការព្រមានពីអ្នកចងក្រងដោយធ្វេសប្រហែសអាចនាំទៅរកភាពងាយរងគ្រោះនៅក្នុងកូដ។ នៅចុងខែឧសភា សម្រាប់ខឺណែលលីនុច ការជួសជុលមួយត្រូវបានស្នើឡើងសម្រាប់វ៉ិចទ័រថ្មីនៃការកេងប្រវ័ញ្ចនៃភាពងាយរងគ្រោះ Spectre តាមរយៈការហៅតាមប្រព័ន្ធ ptrace ។

នៅក្នុងដំណើរការនៃការសាកល្បងបំណះ អ្នកអភិវឌ្ឍន៍បានកត់សម្គាល់ថានៅពេលសាងសង់ អ្នកចងក្រងបង្ហាញការព្រមានអំពីការលាយកូដ និងនិយមន័យ (រចនាសម្ព័ន្ធត្រូវបានកំណត់បន្ទាប់ពីកូដដោយផ្តល់តម្លៃទៅអថេរដែលមានស្រាប់)៖

int index = n;
ប្រសិនបើ (n < HBP_NUM) { index = array_index_nospec(index, HBP_NUM); struct perf_event *bp = thread->ptrace_bps[index];

Linus បានទទួលយក ការកែតម្រូវ ទៅសាខាមេរបស់អ្នក កម្ចាត់ ពីការព្រមានដោយរុំនិយមន័យអថេរក្នុង if block៖

ប្រសិនបើ (n < HBP_NUM) { int index = array_index_nospec(n, HBP_NUM); struct perf_event *bp = thread->ptrace_bps[index];

នៅក្នុងខែកក្កដា ការជួសជុលក៏ត្រូវបានបញ្ជូនទៅកាន់ 4.4, 4.9, 4.14, 4.19, និង 5.2 សាខាខឺណែលស្ថិរភាព។ អ្នកថែទាំស្ថេរភាពក៏បានជួបប្រទះការព្រមាននេះផងដែរ ហើយជំនួសឱ្យការត្រួតពិនិត្យដើម្បីមើលថាតើវាត្រូវបានជួសជុលរួចហើយនៅក្នុងសាខាមេរបស់ Linus ដែរឬទេ ពួកគេបានជួសជុលវាដោយខ្លួនឯង។ បញ្ហាគឺថាពួកគេមិនបានគិតច្រើនទេ។ ផ្លាស់ទី ការកំណត់រចនាសម្ព័ន្ធឡើង ដូច្នេះការហៅទៅកាន់ array_index_nospec ដែលផ្តល់ការការពារដោយផ្ទាល់ប្រឆាំងនឹងភាពងាយរងគ្រោះ លែងប្រើក្នុងនិយមន័យនៃរចនាសម្ព័ន្ធ ហើយជំនួសឱ្យអថេរ "លិបិក្រម" អថេរ "n" តែងតែត្រូវបានប្រើប្រាស់៖

int index = n;
ប្រសិនបើ (n < HBP_NUM ){ struct perf_event *bp = thread->ptrace_bps[index];
index = array_index_nospec(index, HBP_NUM);

ប្រភព: opennet.ru