Интелов систем машинског учења ЦонтролФлаг отвореног кода за идентификацију грешака кода

Интел је открио развој у вези са истраживачким пројектом ЦонтролФлаг који има за циљ стварање система машинског учења за побољшање квалитета кода. Комплет алата који је припремио пројекат омогућава, на основу модела обученог на великој количини постојећег кода, да идентификује различите грешке и аномалије у изворним текстовима написаним на језицима високог нивоа као што је Ц/Ц++. Систем је погодан за идентификацију различитих типова проблема у коду, од идентификовања грешака у куцању и нетачних комбинација типова, до идентификовања недостајућих провера НУЛЛ вредности у показивачима и проблема са меморијом. ЦонтролФлаг код је написан на Ц++ и отвореног кода под МИТ лиценцом.

Систем се самостално учи изградњом статистичког модела постојећег низа кодова отворених пројеката објављених у ГитХуб-у и сличним јавним репозиторијумима. У фази обуке, систем одређује типичне обрасце за конструисање структура у коду и гради синтаксичко стабло веза између ових образаца, одражавајући ток извршења кода у програму. Као резултат, формира се референтно стабло одлучивања које комбинује развојно искуство свих анализираних изворних кодова.

Код који се ревидира пролази кроз сличан процес идентификације образаца који се проверавају у односу на референтно стабло одлучивања. Велика неслагања са суседним гранама указују на присуство аномалије у обрасцу који се проверава. Систем вам такође омогућава не само да идентификујете грешку у шаблону, већ и да предложите исправку. На пример, у ОпенССЛ коду је идентификована конструкција „(с1 == НУЛЛ) ∧ (с2 == НУЛЛ)“, која се појавила у стаблу синтаксе само 8 пута, док је најближа грана са вредношћу „(с1 == НУЛЛ) || (с2 == НУЛЛ)” се догодило око 7 хиљада пута. Систем је такође открио аномалију „(с1 == НУЛЛ) | (с2 == НУЛЛ)” који се појавио 32 пута у стаблу.

Приликом анализе фрагмента кода „ако (к = 7) и = к;” Систем је утврдио да се конструкција „променљива == број“ обично користи у оператору „ако“ за поређење нумеричких вредности, тако да је велика вероватноћа да је индикација „променљива = број“ у изразу „ако“ узрокована типо. Традиционални статички анализатори би ухватили такву грешку, али за разлику од њих, ЦонтролФлаг не примењује готова правила, у којима је тешко предвидети све могуће опције, већ се заснива на статистици коришћења различитих структура у великом броју. пројеката.

Као експеримент, коришћењем ЦонтролФлаг у изворном коду услужног програма цУРЛ, који се често наводи као пример висококвалитетног и тестираног кода, идентификована је грешка коју не детектују статички анализатори када се користи елемент структуре „с->кеепон“, који је имао нумерички тип, али је упоређен са Буловом вредношћу ТРУЕ . У ОпенССЛ коду, поред горе поменутог проблема са "(с1 == НУЛЛ) ∧ (с2 == НУЛЛ)", аномалије су такође идентификоване у изразима "(-2 == рв)" (минус је био грешка у куцању) и "БИО_путс(бп, ":")

Извор: опеннет.ру