Intel publikigis la liberigon de ControlFlag 1.2, ilaro kiu permesas vin identigi erarojn kaj anomaliojn en fontkodo uzante maŝinlernsistemon trejnitan sur granda kvanto de ekzistanta kodo. Male al tradiciaj senmovaj analiziloj, ControlFlag ne aplikas pretajn regulojn, en kiuj estas malfacile provizi ĉiujn eblajn opciojn, sed baziĝas sur statistiko pri la uzo de diversaj lingvokonstruaĵoj en granda nombro da ekzistantaj projektoj. La ControlFlag-kodo estas skribita en C++ kaj estas malfermfonta sub la MIT-licenco.
La nova eldono estas rimarkinda pro la efektivigo de plena subteno por anomaliodetekto kaj lernado bazita sur oftaj kodpadronoj por la C++-lingvo. En antaŭaj versioj, simila subteno estis disponigita por C kaj PHP-lingvoj. La sistemo taŭgas por identigi diversajn specojn de problemoj en kodo, de identigado de mistajpoj kaj tipaj miskongruoj, ĝis identigi anomaliojn en if-deklaroj kaj mankantaj NULL-kontroloj en montriloj. La sistemo estas trejnita konstruante statistikan modelon de la ekzistanta kodaro de malfermfontaj projektoj en C, C++ kaj PHP, publikigita en GitHub kaj similaj publikaj deponejoj.
En la trejnadstadio, la sistemo determinas tipajn padronojn por konstruado de strukturoj en la kodo kaj konstruas sintaksan arbon de ligoj inter tiuj padronoj, reflektante la fluon de koda ekzekuto en la programo. Kiel rezulto, referenca decida arbo estas formita, kiu kombinas la evoluan sperton de ĉiuj analizitaj fontkodoj. La kodo sub revizio spertas similan procezon de identigado de ŝablonoj kiuj estas kontrolitaj kontraŭ referenca decidarbo. Grandaj diferencoj kun najbaraj branĉoj indikas la ĉeeston de anomalio en la padrono estanta kontrolita.
fonto: opennet.ru