Printsiplar, siyosatlar va himoya Dasturiy ta'minot xavfsizligi

6.3.4 Ramziy ijro
6.3.3.6 Xulosa xulosasi
77
6 Mudofaa strategiyasi
Qopqoq bo'yicha boshqariladigan greybox fuzzing paydo bo'lishi bilan
dinamik test xavfsizlik testlarini yaxshilaydigan ko'plab yangi texnikalar
bilan uyg'onishni ko'rdi. Tugallanmagan bo'lsa-da, fuzzingning afzalligi
shundaki , har bir xabar qilingan xato xatoning deterministik
takrorlanishiga imkon beruvchi guvoh bilan birga keladi . Sanitizatsiya,
qo'shimcha dasturiy ta'minot qo'riqchilari bilan kodni o'rnatish jarayoni
xatolarni ularning manbasiga yaqinroq aniqlashga yordam beradi.
Umuman olganda, xavfsizlik testlari, ayniqsa, yadrolar yoki yirik dasturiy
ta'minot tizimlari kabi kutubxonalar yoki murakkab kodlar uchun qiyin bo'lib qolmoqda.
Machine Translated by Google

---

Ramziy bajarilish - bu ko'plab turli xil lazzatlarga ega statik va
dinamik tahlil o'rtasida joylashgan tahlil usuli .
Ramziy bajarilish baholashda noma'lum ramziy o'zgaruvchilarga
ruxsat beradi .
Ramziy ijro mexanizmi dasturning xatti-harakati haqida ramziy
qiymatlar bilan "bajarish" orqali sabab bo'ladi. Konkret qiymatlar
(kirish) ramziy qiymatlar bilan almashtiriladi. Simvolik qiymatlar har
qanday qiymatga ega bo'lishi mumkin, ya'ni 0x15 qiymati o'rniga x
o'zgaruvchisi . Ramziy qiymatlar barcha mumkin bo'lgan qiymatlarni
qamrab oladi. Ilovaning ramziy holati yig'ilgan cheklovlar to'plami orqali kuzatiladi.
boshqaruv-oqim va ma'lumotlar oqimi tahlili bilan birgalikda kodning
mavhum talqiniga asoslangan zaifliklar . Abstrakt talqin manba
kodini soddalashtirish uchun dasturlash tilining semantikasini
o'zgartiradi va uni mavhum grammatika bo'yicha fikr yuritishga imkon
beruvchi shaklga aylantiradi . Statik tahlil usullarining afzalligi
ularning keng tarqalganligi va katta kod bazalariga oddiy
qo'llanilishidir. Kamchilik shundaki, ular ko'p miqdorda noto'g'ri ijobiy
natijalarga olib kelishi mumkin.
Ushbu mavhum talqin orqali dastur cheklovlar to'plamiga aylanadi.
Dasturni aniq kiritish bilan bajarish o'rniga, barcha xotira ramziy
bo'ladi va hisoblash ramziy qiymatlarni yangilaydi. Bu dastur orqali
katta miqdordagi izlarni bir vaqtning o'zida baholash imkonini beradi.
Amallar (o'qish, yozish, arifmetika) cheklovlarni yig'ish/o'zgartirish
operatsiyalariga aylanadi, chunki ular to'plamga yangi cheklovlar
qo'shadi, ehtimol mavjud cheklovlarni umumlashtiradi.
Ramziy bajarilish cheklovlarning murakkabligi bilan cheklangan.
Dasturdagi har bir filial uchun holat miqdori ikki baravar ko'payadi,
chunki haqiqiy yoki noto'g'ri filial olinishi mumkin
6 Mudofaa strategiyasi
78
Machine Translated by Google

---

bu davlat portlashiga olib keladi.
}
Listing 6.3: Ramziy ijro namunasi. a, b va c parametrlari ramziydir.
79
1