> > そうか? > > 画像展開ルーチンのソース読んでバッファオーバーフローが存在しないことを確認するだけでも > > 相当面倒だと思うんだが > そうなの?(;´Д`) > バッファに取り込む関数を探して後は長さチェックするだけでしょ? 展開アルゴリズムだとその長さが可変長なことが多くて 圧縮アルゴリズムの仕様に依存することが多いと思うんだけど 検証には結局展開ロジックを理解して設計者の意図を理解する必要があるよね? 参考:2006/05/01(月)15時24分44秒