Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

tarafdagi operatsiya null argumentni qayta ishlaganda istisno qilishi
mumkin. Natijada, o'zgaruvchi kaliti yangilanmaydi va nol bo'lgan standart qiymat bo'lib qoladi.
yangi tsikl yo'lini yarating {544, ..., 549, 550, ..., 559, 549, 560, ..., 571,
544}.
Bir nechta istisnolarni o'z ichiga olgan sikllarning CFG ni bosib
o'tish hisoblash qimmat bo'lishi mumkin, chunki try blokidagi har bir
bayonot ikkita filialga ega (ya'ni, istisnoni tetiklash yoki
qo'zg'atmaslik) katta CFGga olib keladi. DScope barcha bayonotlarni
qayta ishlanadigan ma'lumotlar asosida guruhlash orqali muammoni
hal qiladi. Xususan, DScope try bloklaridagi funksiya chaqiruvlaridagi
barcha iboralarni aniqlaydi va ularni shu funksiya chaqiruvlarining
argumentlari asosida guruhlaydi. DScope maqsad qilganligi sababli
Nomzod ma'lumotlarining buzilishi bilan bog'liq xatolarni
aniqlagandan so'ng, DScope xatolarni aniqlashning aniqligini
oshirish uchun noto'g'ri musbat naqshlarni tekshirishni amalga
oshiradi. Noto'g'ri musbat ltrlash halqa indeksiga, halqa qadamiga
(ya'ni, har bir iteratsiyada halqa indeksiga qo'llaniladigan delta
qiymati) va har bir aylanish yo'lidagi halqa bilan bog'liq tahlilga
asoslanadi. Misol uchun, agar pastadir chegarasi yuqori chegara
bo'lsa, tsiklning qadami har doim ijobiy bo'lsa (yoki pastadir
chegarasi past bo'lsa, pastadir qadami har doim manfiy bo'lsa) va
har bir tsiklni takrorlashda halqa chegarasi o'zgarmasa va tsikldan
chiqish shartlari bog'langan tekshirishni o'z ichiga oladi, biz
aniqlangan osilgan xato noto'g'ri musbat deb aytamiz, chunki tsikl har doim dasturiy ta'minotni osib qo'ymasdan chiqib ketadi.
Loop yo'lini ajratib olish. Oddiy sikl uchun sikl yo'li deb ataladigan