გამონაყარის გამოსწორებამ გამოიწვია Linux-ის ბირთვში Spectre დაუცველობის არასრული გამოსწორება

Grsecurity პროექტის დეველოპერები გაზიარებული გამაფრთხილებელი ამბავი, რომელიც გვიჩვენებს, თუ როგორ შეიძლება შემდგენელის გაფრთხილებების უყურადღებო აღმოფხვრამ გამოიწვიოს კოდის დაუცველობა. მაისის ბოლოს, Linux-ის ბირთვისთვის, შესთავაზეს შესწორება Spectre დაუცველობის ექსპლუატაციის ახალ ვექტორზე ptrace სისტემის გამოძახებით.

პატჩის ტესტირების პროცესში, დეველოპერებმა შენიშნეს, რომ შექმნისას, შემდგენელი აჩვენებს გაფრთხილებას კოდისა და განმარტებების შერევის შესახებ (სტრუქტურა განისაზღვრა კოდის შემდეგ, არსებული ცვლადის მნიშვნელობის მინიჭებით):

int ინდექსი = n;
if (n < HBP_NUM) { index = array_index_nospec (ინდექსი, HBP_NUM); struct perf_event *bp = thread->ptrace_bps[index];

ლინუსმა მიიღო კორექტირება თქვენს სამაგისტრო ფილიალში, თავიდან მოცილება გაფრთხილებიდან ცვლადის განმარტების if ბლოკში შეფუთვით:

if (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 სტაბილური ბირთვის ფილიალებში. სტაბილური დამცველები ასევე შეხვდნენ გაფრთხილებას და იმის ნაცვლად, რომ შეემოწმებინათ, იყო თუ არა ის უკვე დაფიქსირებული ლინუსის სამაგისტრო ფილიალში, მათ თავად გაასწორეს იგი. პრობლემა ის არის, რომ ისინი, დიდი ფიქრის გარეშე, უბრალოდ გადავიდა სტრუქტურის განმარტება მაღლა, ასე რომ ზარი array_index_nospec-ზე, რომელიც პირდაპირ უზრუნველყოფს დაუცველობისგან დაცვას, აღარ გამოიყენება სტრუქტურის განსაზღვრაში და "index" ცვლადის ნაცვლად ყოველთვის გამოიყენებოდა "n" ცვლადი:

int ინდექსი = n;
if (n < HBP_NUM ){ struct perf_event *bp = thread->ptrace_bps[index];
ინდექსი = array_index_nospec (ინდექსი, HBP_NUM);

წყარო: opennet.ru