Intel katta hajmdagi mavjud kodlar bo‘yicha o‘qitilgan mashinani o‘rganish tizimi yordamida manba kodidagi xato va anomaliyalarni aniqlash imkonini beruvchi ControlFlag 1.2 asboblar to‘plamini nashr etdi. An'anaviy statik analizatorlardan farqli o'laroq, ControlFlag barcha mumkin bo'lgan variantlarni ta'minlash qiyin bo'lgan tayyor qoidalarni qo'llamaydi, lekin ko'p sonli mavjud loyihalarda turli til konstruksiyalaridan foydalanish bo'yicha statistik ma'lumotlarga asoslanadi. ControlFlag kodi C++ tilida yozilgan va MIT litsenziyasi ostida ochiq manba hisoblanadi.
Yangi nashr C++ tili uchun umumiy kod naqshlari asosida anomaliyalarni aniqlash va o'rganishni to'liq qo'llab-quvvatlashni amalga oshirish bilan ajralib turadi. Oldingi versiyalarda xuddi shunday yordam C va PHP tillari uchun taqdim etilgan. Tizim koddagi har xil turdagi muammolarni aniqlash uchun javob beradi, matn terish xatolari va turdagi nomuvofiqliklarni aniqlashdan tortib, if iboralaridagi anomaliyalarni aniqlash va ko'rsatkichlarda etishmayotgan NULL tekshiruvlari. Tizim GitHub va shunga o'xshash ommaviy omborlarda nashr etilgan C, C++ va PHP tillarida ochiq kodli loyihalarning mavjud kodlar majmuasining statistik modelini yaratish orqali o'rgatiladi.
O'quv bosqichida tizim koddagi tuzilmalarni qurish uchun tipik naqshlarni aniqlaydi va dasturda kodning bajarilishini aks ettiruvchi ushbu naqshlar orasidagi bog'lanishlarning sintaktik daraxtini quradi. Natijada, tahlil qilingan barcha manba kodlarini ishlab chiqish tajribasini birlashtirgan ma'lumotnoma qarorlarini qabul qilish daraxti shakllanadi. Ko'rib chiqilayotgan kod namunaviy qarorlar daraxtiga nisbatan tekshiriladigan naqshlarni aniqlashning o'xshash jarayonidan o'tadi. Qo'shni filiallar bilan katta nomuvofiqliklar tekshirilayotgan naqshda anomaliya mavjudligini ko'rsatadi.
Manba: opennet.ru