Printsiplar, siyosatlar va himoya Dasturiy ta'minot xavfsizligi

agar
(b == 0)
"
Nolga bo'linish!";
qaytish
(a/b);
7
urinib
ko'ring
{ 8 natija = div(foo, bar); 9 }
catch (const char*
msg) {
1
juft div (double
a,
double
b) {
...
Machine Translated by Google

---

6 Mudofaa strategiyasi
95
Istisnoni tashlash tegishli jadvaldagi diapazon so'roviga tarjima qilinadi va
istisno uchun to'g'ri ishlov beruvchini topadi. Ushbu jadvallar juda samarali
kodlangan.
Yechish ma'lumotlari istisno qilinganda stek ramkasini qanday sozlash
kerakligi haqida ma'lumotlarni o'z ichiga oladi , masalan, registrlardan
xotiraga qanday o'zgaruvchilarni saqlash kerakligi yoki stek ramkasini
qanday sozlash kerakligi. Istisno bir nechta doiralarni yopishi mumkin,
natijada ob'ektlar ko'lamdan tashqariga chiqadi va shuning uchun ularning
destruktorlarini ishga tushirish kerak. Funktsiyani kiritishda, try-catch
bloklari va destruktorlar uchun manzil diapazonlari bo'lgan jadvalga ishora
qiluvchi tizimli istisnolarni qayta ishlash (SEH) yozuvi yaratiladi. Ishlovchilar
bog'langan ro'yxatda saqlanadi. Windows C++ dasturiga hujum qilish
uchun tajovuzkor stekdagi birinchi SEH yozuvini qayta yozishi va ishlov
beruvchini birinchi gadjetga yo‘naltirishi mumkin . Ushbu hujum vektoriga
javoban Microsoft Visual Studio ikkita himoyani qo'shdi: SafeSEH va
SeHOP. SafeSEH
Istisno jadvallari har bir funktsiya uchun qo'ng'iroqlar narxini har bir
tashlangan istisno uchun to'lash. Kodni yaratish jarayonida kompilyator
har bir funktsiya yoki har bir ob'ekt uchun jadvallarni chiqaradi, bu esa
ko'rsatmalar ko'rsatgichlarini istisnolardan foydalanish bo'yicha dastur holatiga bog'laydi.
Microsoft Windows jadvallar va qatorli istisnolardan foydalanish
kombinatsiyasidan foydalanadi. Har bir stek ramkasi (i) ochish
ma'lumotlarini, (ii) ishga tushirilishi kerak bo'lgan destruktorlar to'plamini
va (iii) ma'lum bir istisno o'rnatilgan bo'lsa, istisno ishlov beruvchilarini yozadi.
Ikkala yondashuv uchun ham metama'lumotlarni kodlash xavfsizlik
muammolariga olib kelishi mumkin. Xotira buzilishining zaifligini hisobga
olgan holda, tajovuzkor istisnoni majburan tashlashi mumkin va istisno
ma'lumotlar tuzilmalarini o'zgartirish orqali istisnolar bilan ishlash usulini
o'zgartirishi mumkin.
Machine Translated by Google

---

har qanday istisnolar ro'yxati oxirida istisno chiqarilganda.
Ma'lumot jadvallari katta bo'lishi mumkin va og'ir siqilish ,
ya'ni kerakli ma'lumotlarni tezda qurish imkonini beruvchi
tarjimon ishlatiladi . Samarali kodlashning salbiy tomoni
bor: kodlash tarjimoni Turing-to'liq hisoblash uchun
suiiste'mol qilinishi mumkin [25].