Společnost Intel zveřejnila vydání nástroje ControlFlag 1.2, který umožňuje odhalovat chyby a anomálie v zdrojových kódech pomocí systému strojového učení, který byl vyškolen na velkém objemu existujícího kódu. Na rozdíl od tradičních statických analyzátorů ControlFlag nepoužívá předem daná pravidla, ve kterých je obtížné předvídat všechny možné varianty, ale vychází ze statistiky využití různých jazykových konstrukcí v mnoha existujících projektech. Kód ControlFlag je napsán v jazyce C++ a je otevřen pod licencí MIT.
Nové vydání se vyznačuje úplnou podporou odhalování anomálií a učením na základě typových šablon kódu pro jazyk C++. V předchozích verzích byla podobná podpora zajištěna pro jazyky C a PHP. Systém je vhodný pro identifikaci různých problémů v kódu, od odhalování překlepů a nesprávných kombinací typů až po identifikaci anomálií v podmínkových výrazech „if“ a opomenuté kontroly hodnoty NULL v ukazatelích. Systém se učí vytvářením statistického modelu stávajícího souboru kódu otevřených projektů v jazycích C, C++ a PHP, které byly zveřejněny na GitHubu a podobných veřejných repozitářích.
Ve fázi učení systém určuje typové šablony konstrukcí v kódu a vytváří syntaktické stromové vazby mezi těmito šablonami, které odrážejí tok provádění kódu v programu. Vytváří se referenční rozhodovací strom, který kombinuje zkušenosti z vývoje všech analyzovaných zdrojových kódů. Pro kontrolovaný kód probíhá podobný proces identifikace šablon, které jsou porovnávány s referenčním rozhodovacím stromem. Velké odchylky od sousedních větví naznačují přítomnost anomálie v kontrolované šabloně.
Zdroj: opennet.ru
