Intel pibliye lage ControlFlag 1.2, yon zouti ki pèmèt ou idantifye erè ak anomali nan kòd sous lè l sèvi avèk yon sistèm aprantisaj machin ki fòme sou yon gwo kantite kòd ki egziste deja. Kontrèman ak analizè tradisyonèl estatik, ControlFlag pa aplike règ pare yo, kote li difisil pou bay tout opsyon posib, men li baze sou estatistik sou itilizasyon divès kalite lang nan yon gwo kantite pwojè ki egziste deja. Kòd ControlFlag la ekri an C++ epi li gen sous lisans MIT.
Nouvo lage a remakab pou aplikasyon konplè sipò pou deteksyon anomali ak aprantisaj ki baze sou modèl kòd komen pou lang C++. Nan vèsyon anvan yo, yo te bay sipò menm jan an pou lang C ak PHP. Sistèm nan apwopriye pou idantifye divès kalite pwoblèm nan kòd, soti nan idantifye erè tip ak dezakò, nan idantifye anomali nan deklarasyon si ak chèk ki manke NULL nan endikasyon. Sistèm nan fòme nan bati yon modèl estatistik nan etalaj la kòd ki egziste deja nan pwojè sous louvri nan C, C++ ak PHP, pibliye nan GitHub ak depo piblik menm jan an.
Nan etap fòmasyon an, sistèm nan detèmine modèl tipik pou konstwi estrikti nan kòd la epi bati yon pye bwa sentaktik nan koneksyon ant modèl sa yo, ki reflete koule nan ekzekisyon kòd nan pwogram nan. Kòm yon rezilta, yon pye bwa referans pou pran desizyon fòme ki konbine eksperyans nan devlopman nan tout kòd sous analize. Kòd ki anba revizyon an sibi yon pwosesis menm jan an pou idantifye modèl yo tcheke ak yon pye bwa desizyon referans. Gwo diferans ak branch vwazen yo endike prezans yon anomali nan modèl yo tcheke a.
Sous: opennet.ru