Printsiplar, siyosatlar va himoya Dasturiy ta'minot xavfsizligi

6.4.5 Manbani mustahkamlash
Agar qo'riqchi bo'lmasa, ishlov beruvchi bajarilmaydi. Ikki mudofaa
yaxshi maqsadlar to'plami qo'riqchi bilan tugaydigan zanjirband
qilinganligini kafolatlaydi, ammo ular istisnolarning to'g'ri tartibi
bajarilishini yoki istisnolarni qayta ishlovchilarning to'g'ri sonini
kafolatlamaydi.
GCC tashqi jadvallardagi barcha istisno ma'lumotlarini kodlaydi.
Format qatoridagi zaifliklar tajovuzkorga ixtiyoriy xotira joylarini
o'qish yoki yozish imkonini beradi . Format satrining zaifligi raqibga
printf funksiyasining birinchi argumentini boshqarish imkonini beradi.
Format qatoridagi zaifliklar haqida batafsil ma'lumot olish uchun
8.2.2 bo'limiga qarang .
ruxsat etilgan maqsadlarning kompilyator tomonidan qo'llab-quvvatlangan
ro'yxatini yaratadi. Agar yozuv noma'lum nishonga ishora qilsa, u rad etiladi.
SeHOP ro'yxatga olish yozuvlari zanjirini sentinel bilan ishga tushiradi, ya'ni
sentinel bog'langan ro'yxatga kiritilgan birinchi elementdir va shuning uchun
6 Mudofaa strategiyasi
96
Istisno o'rnatilganda, qaysi destruktorlarni ishga tushirish kerakligini va
ko'rsatma ko'rsatgichining joriy joylashuvi uchun qanday ishlov beruvchilar
ro'yxatga olinganligini bilish uchun jadvallar bilan maslahatlashiladi. Bu
istisno bo'lmagan holatda kamroq qo'shimcha xarajatlarga olib keladi
(chunki qo'shimcha kod faqat talab bo'yicha bajariladi, lekin aks holda o'tib ketadi).
Machine Translated by Google

---

Control-Flow Integrity (CFI) [1,4] - bu ilovalarni boshqaruv oqimini
o'g'irlash hujumlaridan himoya qiluvchi himoya mexanizmi .
Muvaffaqiyatli CFI mexanizmi dasturni boshqarish oqimi hech
qachon dastlabki kod/ilova darajasida aniqlangan oldindan
belgilangan, joriy boshqaruv oqimini tark etmasligini ta'minlaydi.
Bu shuni anglatadiki , tajovuzkor boshqaruv oqimini boshqa yoki
yangi joylarga yo'naltira olmaydi.