„Intel“ išleido „ControlFlag 1.2“ – įrankių rinkinį, leidžiantį nustatyti šaltinio kodo klaidas ir anomalijas, naudojant mašininio mokymosi sistemą, parengtą naudojant daug esamo kodo. Skirtingai nuo tradicinių statinių analizatorių, „ControlFlag“ netaiko paruoštų taisyklių, kuriose sunku numatyti visas įmanomas parinktis, bet remiasi statistika apie įvairių kalbos konstrukcijų naudojimą daugelyje esamų projektų. „ControlFlag“ kodas parašytas C++ kalba ir yra atviro kodo pagal MIT licenciją.
Naujasis leidimas pasižymi tuo, kad įdiegtas visiškas anomalijų aptikimo ir mokymosi palaikymas, pagrįstas įprastais C++ kalbos kodo šablonais. Ankstesnėse versijose panašus palaikymas buvo teikiamas C ir PHP kalboms. Sistema tinka įvairių tipų kodo problemoms nustatyti, pradedant rašybos klaidų ir tipo neatitikimų nustatymu, baigiant teiginių anomalijų ir trūkstamų NULL patikrų rodyklėse nustatymo. Sistema apmokoma kuriant esamo atvirojo kodo projektų C, C++ ir PHP kodų masyvo statistinį modelį, paskelbtą GitHub ir panašiose viešosiose saugyklose.
Mokymo etape sistema nustato tipinius kode struktūrų konstravimo modelius ir sukuria sintaksinį šių šablonų ryšių medį, atspindintį kodo vykdymo eigą programoje. Dėl to susidaro atskaitos sprendimų priėmimo medis, kuris apjungia visų analizuojamų šaltinio kodų kūrimo patirtį. Peržiūrimas kodas yra panašus į šablonų identifikavimo procesą, kuris tikrinamas pagal nuorodų sprendimų medį. Dideli neatitikimai su gretimomis šakomis rodo, kad tikrinamame šablone yra anomalija.
Šaltinis: opennet.ru