Project Zero 日本語
フォロー
メモリアクセス追跡とスタックベース遅延注入による競合状態のテスト
多くのセキュリティバグは競合状態であり、ネガティブな効果が現れるためにはマルチスレッド実行が正しいインターリービングで発生しなければなりません。これはいくつかのユースケースに課題をもたらします。手動または静的解析によって発見されたバグ候補の確認。回帰テスト:競合状態のバグを修正した後、テストスイートの一部としてバグを確実にトリガーする回帰テストを作成する良い方法がないことがよくあります。自動バグ発見、ファジングなど:ファザーが同時実行操作のすべての興味深いインターリービングを行使したり、操作が競合している場合にのみ実行されるコードパスに到達したりすることは困難です。