Google Project Zeroがレースコンディションを自動テストするツール「MAccConc」を公開

Testing Race Conditions

Google Project Zeroの研究者が、Linuxカーネルにおけるレースコンディションのテストを自動化するツールMAccConcを開発した。メモリアクセスのトレースとスタックベースの遅延注入を組み合わせ、A-B-Aの交互実行を自動テストする。手動でのコード読解や再コンパイルに頼っていた従来の手法を置き換え、回帰テストやファジングへの応用も可能にする。