図1　下方成長スタックでのバッファ・オーバーフローの様子　　関数内変数のバッファ・オーバーフローにより，関数の戻りアドレスが書き換えられるのが分かる。