Intel hat de frijlitting fan ControlFlag 1.2 publisearre, in toolkit wêrmei jo flaters en anomalies yn boarnekoade kinne identifisearje mei in masine-learsysteem oplaat op in grutte hoemannichte besteande koade. Oars as tradisjonele statyske analysatoren, jildt ControlFlag gjin klearebare regels, wêryn't it lestich is om foar alle mooglike opsjes te foarsjen, mar is basearre op statistiken oer it brûken fan ferskate taalkonstruksjes yn in grut tal besteande projekten. De ControlFlag-koade is skreaun yn C++ en is iepen boarne ûnder de MIT-lisinsje.
De nije release is opmerklik foar de ymplemintaasje fan folsleine stipe foar anomaly-deteksje en learen basearre op mienskiplike koadepatroanen foar de C ++-taal. Yn eardere ferzjes waard ferlykbere stipe levere foar C- en PHP-talen. It systeem is geskikt foar it identifisearjen fan ferskate soarten problemen yn koade, fan it identifisearjen fan typfouten en typemismatches, oant it identifisearjen fan anomalies yn as-útspraken en ûntbrekkende NULL-kontrôles yn pointers. It systeem wurdt trainearre troch it bouwen fan in statistysk model fan 'e besteande koade-array fan iepen boarne-projekten yn C, C ++ en PHP, publisearre yn GitHub en ferlykbere iepenbiere repositories.
Op it trainingsstadium bepaalt it systeem typyske patroanen foar it bouwen fan struktueren yn 'e koade en bout in syntaktyske beam fan ferbiningen tusken dizze patroanen, dy't de stream fan koade-útfiering yn it programma reflektearje. As gefolch, in referinsje beslútfoarmjende beam wurdt foarme dy't kombinearret de ûntwikkeling ûnderfining fan alle analysearre boarne koades. De koade ûnder beoardieling ûndergiet in ferlykber proses foar it identifisearjen fan patroanen dy't wurde kontrolearre tsjin in referinsjebeslútbeam. Grutte ferskillen mei oanbuorjende tûken jouwe oan op de oanwêzigens fan in anomaly yn it patroan dat kontrolearre wurdt.
Boarne: opennet.ru