Intel публикува ControlFlag 1.2, инструмент за откриване на аномалии в изходните текстове.

Компания Intel публикува новата версия на инструмента ControlFlag 1.2, който позволява откриване на грешки и аномалии в изходните текстове, използвайки система за машинно обучение, обучена на голям обем съществуващ код. За разлика от традиционните статични анализатори, ControlFlag не следва предварително зададени правила, които трудно предвиждат всички възможни варианти, а се основава на статистика от използването на различни езикови конструкции в множество съществуващи проекти. Кодът на ControlFlag е написан на езика C++ и е с отворен код под лицензия MIT.

Новата версия е забележителна с реализацията на пълна поддръжка за откриване на аномалии и обучение въз основа на шаблони на код за езика C++. В предишни версии подобна поддръжка беше предоставена за езиците C и PHP. Системата е подходяща за идентифициране на различни видове проблеми в кода, от откритие на печатни грешки и неправилни комбинации от типове до откриване на аномалии в условни изрази „if” и пропуснати проверки за стойности NULL в указатели. Системата се обучава, като строи статистически модел на наличния масив от код на отворени проекти на езиците C, C++ и PHP, публикувани в GitHub и подобни публични репозитории.

По време на обучението системата определя типични шаблони за изграждане на конструкции в кода и изгражда синтактично дърво на връзките между тези шаблони, отразяващо потока на изпълнение в програмата. В резултат се формира еталонно дърво за вземане на решения, обединяващо опита от разработката на всички анализирани изходни текстове. За проверявания код се извършва подобен процес на идентифициране на шаблони, които се сравняват с еталонното дърво за вземане на решения. Големи разминавания с близките клони показват наличие на аномалия в проверявания шаблон.

Източник: opennet.ru