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

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