Интел го објавува ControlFlag 1.2, алатка за откривање аномалии во изворниот код

Интел го објави објавувањето на ControlFlag 1.2, комплет алатки што ви овозможува да идентификувате грешки и аномалии во изворниот код користејќи систем за машинско учење обучен на голема количина постоечки код. За разлика од традиционалните статички анализатори, ControlFlag не применува готови правила, во кои е тешко да се обезбедат сите можни опции, туку се заснова на статистика за употреба на различни јазични конструкции во голем број постоечки проекти. Кодот ControlFlag е напишан во C++ и е со отворен код под лиценцата MIT.

Новото издание е забележливо по имплементацијата на целосна поддршка за откривање аномалии и учење врз основа на вообичаени шеми на код за јазикот C++. Во претходните верзии, слична поддршка беше обезбедена за C и PHP јазиците. Системот е погоден за идентификација на различни видови проблеми во кодот, од идентификација на печатни грешки и несовпаѓања на типови, до идентификување на аномалии во ако изјавите и недостасува NULL проверки во покажувачите. Системот е обучен со градење на статистички модел на постоечката низа кодови на проекти со отворен код во C, C++ и PHP, објавени во GitHub и слични јавни складишта.

Во фазата на обука, системот одредува типични обрасци за конструирање структури во кодот и гради синтаксичко дрво на врски помеѓу овие обрасци, како одраз на текот на извршувањето на кодот во програмата. Како резултат на тоа, се формира референтно стебло за одлучување кое го комбинира искуството за развој на сите анализирани изворни кодови. Кодот што се разгледува е подложен на сличен процес на идентификација на обрасци кои се проверуваат според референтното стебло на одлуки. Големите несовпаѓања со соседните гранки укажуваат на присуство на аномалија во моделот што се проверува.

Извор: opennet.ru