Printsiplar, siyosatlar va himoya Dasturiy ta'minot xavfsizligi

4 Xotira va tur xavfsizligi
Machine Translated by Google

---

4 Xotira va tur xavfsizligi
29
dasturlash tilining yuqori darajadagi abstraksiyalarini buzadigan va
shuning uchun mantiqiy nuqsonlar kabi dasturga xos bo'lgan xatolarga
mumkin bo'lgan hujumlarni cheklaydigan past darajadagi kamchiliklarning yo'qligi .
Dasturlash tilining operatsion semantikasi va asosiy ko'rsatmalar to'plami
arxitekturasi (ISA - masalan, Intel x86 ISA mavjud ko'rsatmalar va ularni
x86 protsessorida kodlashni belgilaydi) orqali taqdim etilgan ko'rsatmalar
o'rtasidagi bo'shliq tajovuzkorga cheklovlardan chiqib ketishga imkon
beradi. dasturlash tili tomonidan yuklangan va kontekstdan tashqari
xotiraga kirish. Agar xotira xavfsizligi yoki turdagi xavfsizlik buzilgan
bo'lsa, dastur endi aniq belgilangan boshqaruv oqimi grafigiga amal
qilmasligi va g'alati mashinaga aylanishi kerak [3]. Siz g'alati mashinani
bir vaqtning o'zida o'zgartirilgan dastur holatining surati sifatida tasavvur
qilishingiz mumkin. Ushbu o'zgartirilgan xotira surati mavjud kod ketma-
ketliklarini (masalan, individual ko'rsatmalar yoki ko'rsatmalarning qisqa
ketma-ketligi) ko'zda tutilmagan va kontekstdan tashqarida qayta ishlatishi
mumkin. Mavjud kod parchalarini kontekstdan tashqariga o'zgartirish
dasturni g'alati mashinaga aylantiradi. Misol uchun, quyidagi kodda g'alati
mashina notcalled manzili bilan ptr funktsiya ko'rsatgichini va nol
bo'lmagan qiymat bilan o'zgaruvchi bayrog'ini qayta yozish orqali
boshqaruvni notcalledga o'tkazishi mumkin.
Aniqroq qilib aytadigan bo'lsak, xotira va turdagi xavfsizlik tajovuzkorlarni
asosiy mavhum mashinaning cheklovlari emas, balki ma'lum bir
spetsifikatsiya va amalga oshirish cheklovlari bilan cheklaydi. C/C++
kabi xotira uchun xavfli tillar xotira yoki turdagi xavfsizlikni ta'minlamaydi
va ma'lumotlarga kirish eski/noqonuniy ko'rsatkichlar orqali sodir bo'lishi
mumkin va ob'ekt noqonuniy tur ostida qayta talqin qilinishi mumkin.
Machine Translated by Google

---

8
3
12
14 }
11
13
5