Intel telah menerbitkan rilis ControlFlag 1.2, sebuah toolkit yang memungkinkan Anda mengidentifikasi kesalahan dan anomali dalam kode sumber menggunakan sistem pembelajaran mesin yang dilatih pada sejumlah besar kode yang ada. Berbeda dengan penganalisis statis tradisional, ControlFlag tidak menerapkan aturan yang sudah jadi, yang sulit untuk menyediakan semua opsi yang memungkinkan, tetapi didasarkan pada statistik penggunaan berbagai konstruksi bahasa di sejumlah besar proyek yang ada. Kode ControlFlag ditulis dalam C++ dan bersumber terbuka di bawah lisensi MIT.
Rilis baru ini terkenal karena penerapan dukungan penuh untuk deteksi anomali dan pembelajaran berdasarkan pola kode umum untuk bahasa C++. Pada versi sebelumnya, dukungan serupa diberikan untuk bahasa C dan PHP. Sistem ini cocok untuk mengidentifikasi berbagai jenis masalah dalam kode, mulai dari mengidentifikasi kesalahan ketik dan ketidakcocokan jenis, hingga mengidentifikasi anomali dalam pernyataan if dan pemeriksaan NULL yang hilang pada pointer. Sistem ini dilatih dengan membangun model statistik dari rangkaian kode proyek sumber terbuka yang ada dalam C, C++ dan PHP, diterbitkan di GitHub dan repositori publik serupa.
Pada tahap pelatihan, sistem menentukan pola khas untuk membangun struktur dalam kode dan membangun pohon sintaksis hubungan antara pola-pola ini, yang mencerminkan aliran eksekusi kode dalam program. Hasilnya, pohon pengambilan keputusan referensi terbentuk yang menggabungkan pengalaman pengembangan semua kode sumber yang dianalisis. Kode yang sedang ditinjau mengalami proses serupa dalam mengidentifikasi pola yang diperiksa berdasarkan pohon keputusan referensi. Perbedaan yang besar dengan cabang tetangga menunjukkan adanya anomali pada pola yang diperiksa.
Sumber: opennet.ru