MATUS：特徴スライス整合による正確なバグ検出

この論文は、潜在的なバグロジックに関連する特徴スライスを抽出して比較することにより、ノイズ干渉を軽減することに焦点を当てた、バグ検出のための新しいアプローチであるMATUSを紹介しています。主な革新は、バグのあるコードからの事前知識を使用してターゲットスライスをガイドすることにあり、より正確なバグ検出を可能にします。Linuxカーネルで31個の未知のバグが特定され、11個にCVEが割り当てられたことは、提案された方法の有効性を強く裏付けています。