Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

chiqarish operatsiyalariga bog'liq bo'lgan misol ko'rsatilgan. Ushbu misolda,
chiqish holatini tekshirish holatidagi $i1 o'zgaruvchisi (199-satr) to'g'ridan-to'g'ri
InputStream deb nomlangan Java I/U sinfidan olingan.
I/U bog'liq tsikl identifikatsiyasi. Nomzod ma'lumotlarini osib qo'yish xatolarini
aniqlash uchun DScope chiqish shartlari kirish/chiqarish operatsiyalariga bog'liq
bo'lgan tsikllarni aniqlaydi, ular kirish/chiqarishga bog'liq bo'lgan dent halqalari
deb ataladi. Loop yo'lini ajratib bo'lgandan so'ng, DScope barcha tsikldan
chiqish ko'rsatmalarini aniqlaydi va barcha filial holatlarining chiqish shartlari
bo'yicha birlashmani amalga oshirish orqali aylanish yo'lining chiqish shartlarini
chiqaradi. Biz tsikl yo'lini kiritish/chiqishga bog'liq deb hisoblaymiz, agar uning
chiqish shartlaridan birortasi kiritish/chiqarish operatsiyalariga bog'liq bo'lsa.
Buning mantiqiy sababi shundaki, ma'lumotlarning buzilishi tegishli kiritish-
chiqarish operatsiyalari kutilmagan qiymatlarni qaytarishi yoki istisnolarni
keltirib chiqarishi mumkin, bu esa tsiklning hech qachon chiqmasligiga va shu
bilan dasturiy ta'minotni osib qo'yishiga olib kelishi mumkin. DScope virtual
chaqiruvlar orqali kiritish-chiqarish sinflarida yoki misol chaqiruvlari orqali
kiritish-chiqarish o‘zgaruvchilari ustida tuzilgan operatsiyalarni kiritish/chiqarish
operatsiyalari sifatida ko‘rib chiqadi. I/U sinflari java.io va java.nio paketlaridagi
barcha sinflar va interfeyslarni hamda ularning quyi sinflari va amalga oshirish
sinflarini o'z ichiga oladi. I/U sinflarining misollari I/U o'zgaruvchilari deb ataladi.
Bundan tashqari, DScope foydalanuvchilarga ilovaga koÿproq I/U bogÿliq
boÿlgan davrlarni aniqlash orqali aniqlash qamrovini maksimal darajada oshirish uchun konfiguratsiyalarga ilova kiritish-chiqarish sinflarini osongina qoÿshish imkonini beradi.