Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

Endi biz 1-jadvalda keltirilgan 60 ta tez-tez ishlatiladigan Java sinflari va
interfeyslarida pastadir indeksi, qadamlar va chegaralar API bilan
belgilangan bo‘lsa, noto‘g‘ri musbat filtrlashni qanday amalga oshirishni tasvirlaymiz.
Ijobiy APIlar uchun DScope ning kesish bosqichlari bir xil. "Oldinga
indeks", "teskari indeks", "indeksni tiklash" yoki "chegaralarni yangilash"
turidagi salbiy API uchun DScope kesish paytida ularni e'tiborsiz qoldiradi.
Mumkin bo'lgan API'lar uchun DScope ushbu API'lar tsikl indeksini/
chegaralarini o'zgartiradimi yoki yo'qmi, hal qilish uchun ularning
parametrlari bo'yicha protsessual ma'lumotlarning ichki tahlilini amalga oshiradi.
Biz ushbu API'larni 2-jadvalda ko'rsatilgan toifalarga ajratamiz: 1) Java
klassi/terfeysi yuqori chegaraga ega bo'lganda indeksni oldinga siljitadigan
API'lar; 2) Java klassi/interfeysi pastki chegaraga ega bo'lganda indeksni
orqaga siljituvchi API'lar; 3) indeksni tiklaydigan API-lar; 4) chegaralarni
tekshiradigan API; va 5) chegaralarni yangilaydigan API. bilan tugaydigan
API nomlari o'xshash operatsiyalarni bajaradigan va ularning nomlarida bir
xil preksga ega bo'lgan API-larni bildiradi. Masalan, InputStream oilasida
read() va readLine() funksiyalari mavjud bo‘lib , ikkalasi ham mos keladigan
InputStream da o‘qish amallarini bajaradi .
SoCC'18, 2018 yil 11–13 oktyabr, Karlsbad, CA, AQSh
DScope-ning noto'g'ri musbat lteringi faqat tez-tez ishlatiladigan Java
API-larni hisobga oladi. Agar tsikl indeksi, qadam yoki chegaralar faqat
maxsus dastur funktsiyalari bilan bog'liq bo'lsa, ya'ni tsikl yo'llari 2-
jadvaldagi Java API-larini chaqirmasa, DScope tsiklni tahlil qilishni o'tkazib
yuboradi va uni noto'g'ri ijobiy deb hisoblaydi - bu dizayn qarori noto'g'ri