Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

DScope ma'lumotlarga bog'liqlik tahlilini amalga oshirish orqali tsikldan
chiqish shartlari bilvosita kiritish-chiqarish operatsiyalariga bog'liqligini tekshiradi.
Loopdan chiqish shartlari murakkab kiritish/chiqarish bilan bog'liq
o'zgaruvchilar (ya'ni, kompozit tipdagi o'zgaruvchilar) bo'yicha bajariladigan
kiritish/chiqarish operatsiyalariga bog'liqligini tekshirish uchun DScope
o'zgaruvchan ma'lumotlarni IR kodidan, Java manba kodidan bog'lash orqali
integratsiyalashgan tahlilni amalga oshiradi. va Java bayt kodi. DScope kompozit
turiga ega bo'lgan o'zgaruvchini kiritish-chiqarish bilan bog'liq deb hisoblaydi,
agar o'zgaruvchining biron bir elementi kirish/chiqarish bilan bog'liq bo'lsa.
Shuni esda tutingki, faqat IR kodini tekshirish orqali DScope ba'zi murakkab
o'zgaruvchilarni kiritish-chiqarish bilan bog'liq holda aniqlashni o'tkazib
yuborishi mumkin. Masalan, 7-rasmda faqat IR kodini tekshirish orqali DScope
$r13 o'zgaruvchisini kiritish/chiqarish bilan bog'liq o'zgaruvchi sifatida aniqlay olmaydi, shuning uchun $r13 da amalga oshirilgan barcha operatsiyalar I/U operatsiyalari sifatida ko'rib chiqilmaydi.
DScope barcha m taÿriflarni n ta guruhga ajratadi va sikl yoÿlini aniqlash
algoritmini 2n marta ishga tushiradi. Shunday qilib, DScope halqa yo'lini qidirish
maydonini 2 m dan 2 n gacha (n ÿ m) qisqartirishi mumkin, bu DScope ning tahlil
qilish vaqtini va resurslarga bo'lgan talablarini kamaytiradi (masalan,
OutofMemoryException sabab tahlil xatolarining oldini olish).
T. Dai va boshqalar.
Xususan, DScope rst I/U operatsiyalarining qaytish qiymatlari bilan tayinlangan
barcha kiritish-chiqarish bilan bog'liq o'zgaruvchilarni aniqlaydi. Ikkinchidan,
o'ng tomonidagi har qanday kiritish-chiqarish bilan bog'liq o'zgaruvchilarni o'z