Printsiplar, siyosatlar va himoya Dasturiy ta'minot xavfsizligi

6.3.3.2 Bajarish mexanizmi
Xavfsizlik siyosatini barqaror qilish uchun sinovdan o'tayotgan
dastur buzilishlarni erta aniqlaydigan qo'shimcha tekshiruvlar
bilan jihozlanishi mumkin. Tizim tillarida yozilgan kod uchun
aniqlanmagan xatti-harakatlar orqali xavfsizlikni buzish ayniqsa qiyin.
Machine Translated by Google

---

Sanitizatsiya tanlangan xususiyatlarni qo'llash uchun kompilyatsiya
jarayonida dasturni tahlil qiladi va asboblar bilan ta'minlaydi. Adres Sanitizer
[30], eng ko'p ishlatiladigan dezinfektsiyalash vositasi, ajratilgan xotira
ob'ektlari atrofida qizil zonalar qo'yish, ajratilgan xotirani kuzatib borish va
xotiraga kirishni diqqat bilan tekshirish orqali fazoviy va vaqtinchalik xotira
xavfsizligi buzilishini aniqlaydi . Boshqa dezinfektsiyalash vositalari
aniqlanmagan xatti-harakatlar, ishga tushirilmagan xotira yoki turdagi
xavfsizlik buzilishlarini qamrab oladi [11]. Har bir dezinfektsiyalash vositasi
ishlash narxini oshiradigan ma'lum asboblarni talab qiladi.
Fuzzingning asosiy afzalligi uning ajoyib soddaligi (va katta parallellik).
Ushbu soddalik tufayli, fuzzing mahalliy minimalda qolib ketishi mumkin,
bunda doimiy kirish ishlab chiqarish qo'shimcha buzilishlarga yoki yangi
qoplamaga olib kelmaydi - fuzzer qoplama devori oldida yopishib qoladi.
Qoplama devorini chetlab o'tishning umumiy yondashuvi taqqoslash uchun
ishlatiladigan urug'lik qiymatlarini olishdir. Ushbu urug'lik qiymatlari
keyinchalik kirishni yaratish jarayonida ishlatiladi. Ortogonal ravishda, ishlab
chiquvchi CRC taqqoslashlari yoki sehrli qiymatlarni tekshirish kabi qattiq
tekshiruvlarni sharhlashi mumkin. Ushbu tanqidiy bo'lmagan tekshiruvlarni
dasturdan olib tashlash ishlab chiquvchidan muhim xavfsizlik tekshiruvlari
nima ekanligini va nima xavfsiz tarzda izohlanishi mumkinligini bilishini talab
qiladi.
Bir nechta so'nggi kengaytmalar [31:@sanjay17ndss, @peng18sp,
@insu18sec] qachon aniqlash orqali qoplama devorini chetlab o'tishga harakat qiladi.