Printsiplar, siyosatlar va himoya Dasturiy ta'minot xavfsizligi

4.2 Xotira xavfsizligi
Machine Translated by Google

---

4.2.1 Fazoviy xotira xavfsizligi
Xotira xavfsizligi turli qatlamlarda amalga oshirilishi mumkin. Tilga asoslangan
xotira xavfsizligi dasturchiga xotira xavfsizligini, masalan, har bir xotiraga kirish
va translatsiya turini (Java, C# yoki Python) tekshirish yoki qattiq statik turdagi
tizimni (Rust) qo'llash orqali buzishni imkonsiz qiladi . Xotira xavfsizligini C/C+
+ ga qayta tiklaydigan tizimlar odatda ko'rsatgich va turdagi ma'lumotlar
mavjudligi sababli kompilyator darajasida amalga oshiriladi. C/C++ uchun
xotira xavfsizligini kuchaytiruvchi texnikalar har bir koÿrsatgichni va unga
bogÿliq boÿlgan fazoviy xotira xavfsizligini, vaqtinchalik xotira xavfsizligi uchun
amal qilish muddatini va turdagi xavfsizlik uchun tegishli turni kuzatishi kerak.
Ko'rsatkich arifmetikasi ko'rsatgichni ob'ektdan tashqariga o'zgartirishi mumkin.
bepul keyin foydalanish, ishga tushirilmagan xotiradan foydalanish yoki
ikki marta bo'sh. Shunday qilib , C dasturlash tili xotira xavfsiz bo'lmasa-
da, C dasturining barcha mumkin bo'lgan bajarilishi dasturchi tomonidan
xotira xavfsizligini etarli darajada tekshirishi tufayli xotira xavfsizligini
ta'minlasa, C dasturi xotira xavfsiz bo'lishi mumkin.
Fazoviy xotira xavfsizligi - bu dasturning barcha xotira yo'qotishlari
ko'rsatgichning amaldagi ob'ektlari chegaralarida bo'lishini ta'minlaydigan
xususiyat. Ko'rsatkich ilovaning manzil maydonidagi ma'lum bir manzilga
murojaat qiladi . Xotira ob'ektlari aniq ravishda xotira ajratuvchisiga
qo'ng'iroq qilish (masalan, malloc orqali ) yoki mahalliy o'zgaruvchilar
uchun funktsiyani chaqirish orqali ajratiladi. Ob'ektning chegaralari ob'ekt
ajratilganda va ob'ektga ko'rsatgich qaytarilganda aniqlanadi. Ushbu
ob'ektga o'rnatilgan har qanday kompyuter ko'rsatkichi ob'ekt chegaralarini
meros qilib oladi.
4 Xotira va tur xavfsizligi
33
Faqat bog'langan ob'ekt ichiga ishora qiluvchi ko'rsatkichlar bo'lishi mumkin
Machine Translated by Google

---

e'tibordan chetda qolgan. Bog'langan ob'ektdan tashqariga ishora qiluvchi
ko'rsatkichni bekor qilish fazoviy xotira xavfsizligi xatosi va aniqlanmagan
xatti-harakatlarga olib keladi.
4 Xotira va tur xavfsizligi
Agar ko'rsatkich (i) ob'ekt chegarasidan oshib ketgan bo'lsa,
masalan, tsikl yoki ko'rsatkich arifmetikasi orqali oshirilsa va (ii)
yo'naltirilgan bo'lsa, fazoviy xotira xavfsizligi buzilishi sodir bo'ladi:
1 ta