Compania Intel a lansat versiunea 1.2 a instrumentului ControlFlag, care permite identificarea erorilor și anomaliilor în codul sursă, folosind un sistem de învățare automată antrenat pe un volum mare de cod existent. Spre deosebire de analizzatorii statici tradiționali, ControlFlag nu folosește reguli predefinite, care pot fi greu de anticipat în toate variantele posibile, ci se bazează pe statistica utilizării diferitelor structuri de limbaj în numeroase proiecte existente. Codul ControlFlag este scris în C++ și este disponibil sub licența MIT.
Noua versiune se remarcă prin implementarea suportului complet pentru identificarea anomaliilor și antrenarea pe baza unor modele tipice de cod pentru limbajul C++. Versiunile anterioare au oferit suport similar pentru limbajele C și PHP. Sistemul este potrivit pentru identificarea diferitelor tipuri de probleme în cod, de la depistarea erorilor de tipografie și a combinațiilor de tipuri incorecte, până la evidențierea anomaliilor în expresiile condiționale „if” și a verificărilor omise pentru valoarea NULL în pointeri. Sistemul învață prin construirea unui model statistic bazat pe codurile proiectelor open-source în limbajele C, C++ și PHP, publicate pe GitHub și în repozitorii publice similare.
În etapa de învățare, sistemul identifică modele tipice de construcție a codului și construiește un arbore sintactic al relațiilor dintre aceste modele, care reflectă fluxul de execuție al codului în program. În final, se formează un arbore de decizie de referință, care îmbină experiența dezvoltării tuturor codurilor sursă analizate. Pentru codul verificat, se desfășoară un proces similar de identificare a modelurilor, care sunt comparate cu arborele standard de decizie. Discrepanțele mari față de ramurile vecine indică prezența unei anomalii în modelul verificat.
Sursa: opennet.ro
