Intel нашри ControlFlag 1.2-ро нашр кард, ки абзорест, ки ба шумо имкон медиҳад хатоҳо ва аномалияҳоро дар коди сарчашма бо истифода аз системаи омӯзиши мошинсозӣ, ки дар миқдори зиёди коди мавҷуда таълим дода шудааст, муайян кунед. Баръакси анализаторҳои анъанавии статикӣ, ControlFlag қоидаҳои тайёрро истифода намебарад, ки дар он пешниҳоди ҳамаи вариантҳои имконпазир душвор аст, аммо ба омор оид ба истифодаи сохторҳои гуногуни забонӣ дар шумораи зиёди лоиҳаҳои мавҷуда асос ёфтааст. Рамзи ControlFlag дар C++ навишта шудааст ва аз рӯи иҷозатномаи MIT кушода аст.
Нашри нав барои татбиқи дастгирии ҳамаҷонибаи ошкор ва омӯзиши аномалия дар асоси намунаҳои умумии код барои забони C++ назаррас аст. Дар версияҳои қаблӣ, дастгирии шабеҳ барои забонҳои C ва PHP дода мешуд. Система барои муайян кардани намудҳои гуногуни мушкилот дар код мувофиқ аст, аз муайян кардани хатогиҳо ва номутобиқатии намудҳо, то муайян кардани аномалияҳо дар if изҳорот ва набудани чекҳои NULL дар нишондиҳандаҳо. Система тавассути сохтани модели омории массиви кодҳои мавҷудаи лоиҳаҳои кушодаасос дар C, C++ ва PHP, ки дар GitHub ва анборҳои шабеҳи ҷамъиятӣ нашр шудаанд, омӯзонида мешавад.
Дар марҳилаи омӯзиш, система намунаҳои маъмулии сохтани сохторҳоро дар код муайян мекунад ва дарахти синтаксиси робитаҳои байни ин қолабҳоро месозад, ки ҷараёни иҷрои кодро дар барнома инъикос мекунад. Дар натиҷа, дарахти истинод барои қабули қарорҳо ташаккул меёбад, ки таҷрибаи таҳияи ҳама рамзҳои сарчашмаҳои таҳлилшударо муттаҳид мекунад. Рамзи баррасишаванда аз раванди шабеҳи муайян кардани намунаҳое мегузарад, ки дар муқобили дарахти қарори истинод тафтиш карда мешаванд. Тафовутҳои калон бо шохаҳои ҳамсоя мавҷудияти аномалия дар намунаи тафтишшавандаро нишон медиҳанд.
Манбаъ: opennet.ru