Memory corruption — dastur xotirasidagi ma’lumot yoki boshqaruv tuzilmasi ruxsat etilmagan yoki mo‘ljallanmagan tarzda o‘zgartiriladigan xatolar sinfidir. Buffer chegarasidan tashqariga yozish, use-after-free, double free, noto‘g‘ri pointer va data race bunga sabab bo‘lishi mumkin. Natija crash, jim ma’lumot buzilishi yoki hujumchi boshqaradigan kod bajarilishi bo‘lishi ehtimol.
Keng tarqalgan shakllar
Stack yoki heap buffer overflow ajratilgan diapazondan ortiq bayt yozadi. Qo‘shni obyekt, allocator metadata, funksiya pointeri yoki qaytish manzili shikastlanishi mumkin. Out-of-bounds read xotirani o‘zgartirmasa ham maxfiy baytni ochadi va keyingi hisobni buzadi. Integer overflow noto‘g‘ri kichik buffer ajratib, keyingi copy’ni xavfli qilishi mumkin.
Use-after-free obyekt bo‘shatilgandan keyin qolgan dangling pointer orqali kirishdir. Allocator shu joyni boshqa obyektga bersa, eski kod yangi obyektni noto‘g‘ri talqin qiladi. Double free bir blokni ikki marta allocatorga qaytarib, ichki tuzilmalarni buzadi. Uninitialized memory o‘qilishi oldingi maxfiy ma’lumotni chiqarishi yoki nondeterministic xulq yaratishi mumkin.
Aniqlash vositalari
AddressSanitizer xotira atrofida shadow metadata va redzone ishlatib, ko‘p out-of-bounds hamda use-after-free xatolarini aniq stack bilan topadi. UndefinedBehaviorSanitizer tilning ayrim aniqlanmagan xatti-harakatlarini, MemorySanitizer boshlanmagan o‘qishni tekshiradi. Valgrind singari dinamik instrumentatsiya qayta build qilinmagan holatda ham ishlashi mumkin, lekin sekinroq.
Fuzzing tasodifiy va tuzilishga mos kirishlar bilan parser hamda protokollarni keng qamrab oladi. Crash reproducer minimallashtiriladi va sanitizer buildda tahlil qilinadi. Static analysis ownership, array bound va lifetime yo‘llarini bajarishsiz topishga urinadi. Bir vosita barcha xatoni qamramaydi; ular review va test bilan birga ishlaydi.
Himoya qatlamlari
Memory-safe til avtomatik bounds check, lifetime yoki garbage collection orqali xato sinflarini kamaytiradi. Native modul zarur bo‘lsa, xavfli kod kichik chegarada saqlanib, safe wrapper invariantlarni tekshiradi. Length hisoblari overflow-safe API bilan bajariladi, copy destination sig‘imi aniq uzatiladi.
ASLR manzillarni taxmin qilishni, DEP/NX ma’lumot sahifasida kod bajarishni qiyinlashtiradi. Stack canary qaytish manzili oldidagi buzilishni aniqlashi mumkin. Control-flow integrity bilvosita branch maqsadlarini cheklaydi. Bu exploit mitigationlar xatoni tuzatmaydi va ma’lumotning jim buzilishini to‘xtatmasligi mumkin.
Tashxis va javob
Memory corruption ko‘pincha buzilish sodir bo‘lgan joydan keyin crash qiladi. Core dump, allocator tekshiruvi va hardware watchpoint asl yozuvchini topishga yordam beradi. Optimallashtirish hamda thread timing xatoni o‘zgartirishi mumkin, shu sababli production buildga yaqin konfiguratsiya test qilinadi.
Xavfsizlik ta’siri kirishning hujumchi nazoratida ekanligi, yoziladigan bayt va himoya qatlamlariga qarab baholanadi. Patch bilan birga o‘xshash kod yo‘llari audit qilinadi, regression test qo‘shiladi va dependency foydalanuvchilariga yangilanish yetkaziladi.
+## Concurrency va atomiklik
Ikki thread reference count yoki container metadata’ni atomiksiz yangilasa, mantiqiy data race xotira hayot siklini buzib, premature freega olib kelishi mumkin. Lock-free algoritm memory ordering va ABA muammosini hisobga oladi; oddiy volatile ownership xavfsizligini bermaydi. ThreadSanitizer race’larni topadi, lekin uning overhead’i yuqori va barcha schedule’ni qamramaydi. Stress test yadro soni va timingni o‘zgartiradi. Signal handler yoki callback obyektni boshqa thread bo‘shatayotgan paytda ishlasa, lifetime protokoli kerak. Reference count overflow ham nazariy yoki hujumchi ko‘p reference yarata oladigan tizimda tekshiriladi. Xavfsiz wrapper concurrency shartnomasini API darajasida cheklaydi.
Bog‘liq tushunchalar
Buffer overflow, Use-after-free, Memory safety, AddressSanitizer, Fuzzing, ASLR, Core dump