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

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

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

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

• В OpenSSL бяха открити аномални конструкции «(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». Например, при анализа на фрагмент от кода «if (x = 7) y = x;», системата ще определи, че обикновено в оператора «if» за сравнение на числови стойности се използва конструкцията «променлива == число», следователно указването на «променлива = число» в израза «if» вероятно е причинено от печатна грешка. В комплекта се предоставя сценарий, който позволява да се заредят наличните в GitHub репозитории на езика C и да се използват за изграждане на модел. Също така са налични готови модели, които позволяват веднага да се започне проверката на кода.

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