Пускане на ControlFlag 1.0, инструмент за идентифициране на грешки в C код

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

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

Като пример за възможностите на ControlFlag, разработчиците анализираха изходните кодове на проектите OpenSSL и cURL:

• Аномални конструкции „(s1 == NULL) ∧ (s2 == NULL)“ и „(s1 == NULL) | (s2 == NULL)", които не съответстват на често използвания модел "(s1 == NULL) || (s2 == NULL)". Кодът също идентифицира аномалии в изразите „(-2 == rv)“ (минусът е печатна грешка) и „BIO_puts(bp, „:“) <= 0)“ (в контекста на проверката на успешното завършване на функция трябваше да бъде „== 0").
• В cURL беше открита грешка, която не беше открита от статичните анализатори при използване на структурния елемент „s->keepon“, който имаше числов тип, но беше сравнен с булевата стойност TRUE.

Сред характеристиките на версията ControlFlag 1.0 има пълна поддръжка за стандартни шаблони за езика C и възможност за откриване на аномалии в условни изрази „if“. Например, когато анализирате кодовия фрагмент „ако (x = 7) y = x;“ Системата ще определи, че операторът „if“ обикновено използва конструкцията „променлива == число“ за сравняване на числови стойности, така че е много вероятно „променлива = число“ в израза „if“ да е причинено от печатна грешка. Комплектът включва скрипт, който ви позволява да изтеглите съществуващи хранилища на език C в GitHub и да ги използвате за изграждане на модела. Предлагат се и готови модели, които ви позволяват незабавно да започнете проверка на кода.

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