>既に解放済みのスタックフレーム上の値が壊されずに残ってる前提でコードを書くバカはいない
　
件の記事は「C言語ではスタックフレームの仕組みによりこうなりますよ」という説明になってしまっているので明確に間違いだが、未初期化変数を持つプログラムへの攻撃方法としてスタック領域を予め任意の値にするのは普通にありだろ。