Mae Intel wedi cyhoeddi rhyddhau ControlFlag 1.2, pecyn cymorth sy'n eich galluogi i nodi gwallau ac anghysondebau yn y cod ffynhonnell gan ddefnyddio system dysgu peiriant sydd wedi'i hyfforddi ar lawer iawn o god presennol. Yn wahanol i ddadansoddwyr sefydlog traddodiadol, nid yw ControlFlag yn cymhwyso rheolau parod, lle mae'n anodd darparu ar gyfer yr holl opsiynau posibl, ond mae'n seiliedig ar ystadegau ar y defnydd o wahanol strwythurau iaith mewn nifer fawr o brosiectau presennol. Mae'r cod ControlFlag wedi'i ysgrifennu yn C++ ac mae'n ffynhonnell agored o dan y drwydded MIT.
Mae'r datganiad newydd yn nodedig am weithredu cefnogaeth lawn ar gyfer canfod anomaleddau a dysgu yn seiliedig ar batrymau cod cyffredin ar gyfer yr iaith C ++. Mewn fersiynau blaenorol, darparwyd cefnogaeth debyg ar gyfer ieithoedd C a PHP. Mae'r system yn addas ar gyfer nodi gwahanol fathau o broblemau yn y cod, o nodi teipiau a diffyg cyfatebiaethau, i nodi anghysondebau mewn datganiadau a gwiriadau NULL ar goll mewn awgrymiadau. Mae'r system wedi'i hyfforddi trwy adeiladu model ystadegol o'r casgliad cod presennol o brosiectau ffynhonnell agored yn C, C ++ a PHP, a gyhoeddwyd yn GitHub a storfeydd cyhoeddus tebyg.
Yn y cam hyfforddi, mae'r system yn pennu patrymau nodweddiadol ar gyfer adeiladu strwythurau yn y cod ac yn adeiladu coeden gystrawen o gysylltiadau rhwng y patrymau hyn, gan adlewyrchu llif gweithredu cod yn y rhaglen. O ganlyniad, mae coeden gwneud penderfyniadau cyfeirio yn cael ei ffurfio sy'n cyfuno profiad datblygu'r holl godau ffynhonnell a ddadansoddwyd. Mae'r cod sy'n cael ei adolygu yn mynd trwy broses debyg o nodi patrymau sy'n cael eu gwirio yn erbyn coeden penderfyniad cyfeirio. Mae anghysondebau mawr gyda changhennau cyfagos yn dangos presenoldeb anghysondeb yn y patrwm sy'n cael ei wirio.
Ffynhonnell: opennet.ru