図2　上方成長スタックでのバッファ・オーバーフローの様子　　関数内変数のバッファ・オーバーフローでは，関数の戻りアドレスが書き換えられないように見える。