Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

osongina qo'llash mumkin. Bizning ishimiz nosozlikni in'ektsiya bilan to'ldirishga ishonamiz
SoCC'18, 2018 yil 11–13 oktyabr, Karlsbad, CA, AQSh
Machine Translated by Google

---

ADABIYOTLAR
7 XULOSA
MAQDAT
DScope hech qanday foydalanuvchi kiritishini yoki oldindan belgilangan qoidalarni
talab qilmasdan to'liq avtomatik ishlaydi. Biz DScope prototipini joriy qildik va uni
9 ta keng tarqalgan bulutli server tizimlarida baholadik. DScope 42 ta haqiqiy
korruptsiya xatosini muvaffaqiyatli aniqlaydi (ulardan 29 tasi yangi xatolar), mavjud
xatolarni aniqlash vositalari esa ulardan juda oz sonini aniqlay oladi (2 tasi
Findbugs va 1 tasi Infer tomonidan).
T. Dai va boshqalar.
Biz cho'ponimiz Ennan Chjayga va anonim mulohaza yurituvchilarga o'zlarining
chuqur mulohazalari va qimmatli sharhlari uchun minnatdorchilik bildiramiz. Bu
ish qisman NSF CNS1513942 granti va NSF CNS1149445 granti tomonidan homiylik
qilindi. Ushbu maqolada bildirilgan har qanday fikrlar mualliflarniki bo'lib, NSF yoki
AQSh hukumati nuqtai nazarini o'zgartirishi shart emas.
nomzod xatolarimizni tasdiqlash va noto'g'ri pozitivlarni yanada kamaytirish uchun
ishlatilishi mumkin bo'lgan asoslangan yondashuvlar.
Funktsional xatolarni aniqlash: Ishlashdagi xatolardan tashqari, funktsional
xatolarni aniqlash uchun so'nggi ishlar ham amalga oshirildi. pbSE [45] funktsional
xatolarni aniqlash va bu xatolar uchun sinov holatlarini yaratish uchun concolic
ijrosini o'tkazdi. Kollenda va boshqalar. [32] ishdan chiqish xatolarini Linux,
Windows API funksiyalari va istisnolarni qayta ishlash vositalarida tizim chaqiruvlari
orqali ishdan chiqishga chidamli primitivlarni aniqlash orqali aniqladi. Bundan