Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

LocalVariableTypeTable qidiruvi uning tegishli imzo indeksi #232 ekanligini ko'rsatadi.
DScope blokToNodes haqida to'liq turdagi ma'lumotlarni olish uchun ÿ232 indeks
raqamidan foydalangan holda doimiy pulni tekshiradi . BlockToNodes kiritish-chiqarish
bilan bog'liq bo'lgan Combine FileInputFormat$OneBlockInfo sinfidan iborat bo'lganligi
sababli (ya'ni, ilovaning kirish/chiqarish klassi), DScope blockToNodes ham I/U bilan
bog'liq degan xulosaga keladi. Shunday qilib, blockToNodes -da bajariladigan
operatsiyalar kiritish-chiqarish operatsiyalari va chiqish shartlari ushbu kiritish-
chiqarish operatsiyalariga bog'liq bo'lgan tsikllar I/U-ga bog'liq bo'lgan tsikllardir.
DScope
Loop indeksi, qadam va chegaralar sonli primitivlar bilan belgilangan bo'lsa,
DScope rst tsikldan chiqish shartlaridan tsikl indeksi o'zgaruvchisini ajratib oladi.
Loop indeksi tsikldan chiqish shartlarida paydo bo'ladigan va arifmetik amallar
(masalan, qo'shish va ayirish) orqali tayinlash bayonotidagi boshqa o'zgaruvchi
tomonidan yangilanadigan o'zgaruvchidir. Loop indeksini aniqlagandan so'ng,
chiqish sharoitida u solishtiradigan o'zgaruvchi tsikl bilan bog'langan va tsikl
indeksiga qo'shiladigan yoki undan ayiriladigan o'zgaruvchi - tsiklning qadamidir.
DScope qo'shimcha ravishda tsikl yuqori chegaraga ega bo'lganda raqamli qadam
ijobiy yoki pastroq chegaraga ega bo'lganda salbiy ekanligini tekshiradi. Misol uchun,
"indeks = indeks op qadam" iborasida , agar "op" qo'shilish operatsiyasi bo'lsa,
tsiklning qadami ijobiy bo'ladi. "Indeks belgisi bog'langan" iborasida "belgi" ÿ yoki <
bo'lsa , tsikl yuqori chegaraga ega. Nihoyat, DScope barcha aylanish yo'llarini
tekshiradi va har bir aylanish yo'lida chegara o'zgarmaganligini tekshiradi. Olingan