The Underhanded C Contest2015年Underhanded C Contestの結果発表で、核検証という現実的で高リスクな文脈における隠れた不正コードの課題を扱っている。

• 2015年Underhanded C Contestの結果発表で、核検証という現実的で高リスクな文脈における隠れた不正コードの課題を扱っている。
• NaN poisoning、浮動小数点比較、ログ処理のバッファ越え、環境トリガー、データトリガーなど、レビューで見逃されやすいCコード上の攻撃手法を多数解説している。
• 優勝作はdoubleとfloat_tの型混同によりスペクトル比較を歪め、見た目は通常の相関計算のまま現実的に偽陽性を作れる点が高く評価されている。

安全保障や検証システムでは、明白な脆弱性だけでなく、正当な数値処理に見える実装が意図的に検出結果を歪めるリスクがあり、コードレビュー、型整合性、浮動小数点処理の監査が重要になる。