Intel telah menerbitkan keluaran ControlFlag 1.2, kit alat yang membolehkan anda mengenal pasti ralat dan anomali dalam kod sumber menggunakan sistem pembelajaran mesin yang dilatih pada sejumlah besar kod sedia ada. Tidak seperti penganalisis statik tradisional, ControlFlag tidak menggunakan peraturan sedia ada, di mana sukar untuk menyediakan semua pilihan yang mungkin, tetapi berdasarkan statistik mengenai penggunaan pelbagai binaan bahasa dalam sejumlah besar projek sedia ada. Kod ControlFlag ditulis dalam C++ dan sumber terbuka di bawah lesen MIT.
Keluaran baharu ini terkenal kerana pelaksanaan sokongan penuh untuk pengesanan dan pembelajaran anomali berdasarkan corak kod biasa untuk bahasa C++. Dalam versi sebelumnya, sokongan serupa telah disediakan untuk bahasa C dan PHP. Sistem ini sesuai untuk mengenal pasti pelbagai jenis masalah dalam kod, daripada mengenal pasti kesilapan taip dan jenis yang tidak sepadan, kepada mengenal pasti anomali dalam penyataan if dan semakan NULL hilang dalam petunjuk. Sistem ini dilatih dengan membina model statistik tatasusunan kod projek sumber terbuka sedia ada dalam C, C++ dan PHP, diterbitkan dalam GitHub dan repositori awam yang serupa.
Pada peringkat latihan, sistem menentukan corak tipikal untuk membina struktur dalam kod dan membina pokok sintaksis hubungan antara corak ini, mencerminkan aliran pelaksanaan kod dalam program. Akibatnya, pokok membuat keputusan rujukan dibentuk yang menggabungkan pengalaman pembangunan semua kod sumber yang dianalisis. Kod yang sedang disemak menjalani proses yang serupa untuk mengenal pasti corak yang disemak pada pokok keputusan rujukan. Percanggahan besar dengan cawangan jiran menunjukkan kehadiran anomali dalam corak yang diperiksa.
Sumber: opennet.ru