スタックカナリア

スタックカナリアとは、コンピュータのメモリ領域であるスタックにおけるバッファオーバーフロー攻撃を検知するために導入される特殊な値のことです。プログラムの関数が呼び出された際、ローカル変数とリターンアドレスの間にこの値を配置し、関数が終了する際に改ざんされていないかを検証します。もし攻撃者によってバッファオーバーフローが発生し、変数の領域を超えてデータが書き換えられた場合、カナリア値も同時に破壊されます。この変化をプログラムが検知することで、不正なコードの実行や制御フローの乗っ取りを未然に防ぎ、システムの安全な停止を促す防衛的な手法として広く利用されています。