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

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

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

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

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