Објавување на ControlFlag 1.0, алатка за идентификување на грешки во кодот C

Интел го објави првото големо издание на алатката 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 и можност за откривање аномалии во условните изрази „ако“. На пример, кога се анализира фрагментот од кодот „ако (x = 7) y = x;“ Системот ќе утврди дека исказот „ако“ обично ја користи конструкцијата „променлива == број“ за да ги спореди нумеричките вредности, така што голема е веројатноста „променлива = број“ во изразот „ако“ да е предизвикана од печатна грешка. Комплетот вклучува скрипта што ви овозможува да ги преземете постоечките складишта на јазикот C на GitHub и да ги користите за да го изградите моделот. Достапни се и готови модели, што ви овозможуваат веднаш да започнете со проверка на кодот.

Извор: opennet.ru