コンパイラが生む幽霊読み込み、TOCTOU 脆弱性を復活させる

要約

セキュリティ研究者が、C コンパイラの最適化によって生成される「発明された読み込み」（invented load）が、TOCTOU（Time-of-Check to Time-of-Use）脆弱性を再発させる仕組みを実証した。プログラマが 1 回だけメモリを読み込むコードを書いた場合でも、コンパイラは複数回の読み込みを生成でき、その間に攻撃者がメモリを改ざんすると、検証を通した値と実際に使う値が異なる可能性がある。スナップショット + 検証という標準的な TOCTOU 対策手法でさえ、コンパイラの最適化により無効化され、バッファオーバーフローが発生し得る。複数のコンパイラ・アーキテクチャ・フラグの組み合わせによって挙動が非線形に変わるため、コードだけでは安全性を判定できず、実際にビルドして検査する必要がある。