IPA ISEC セキュア・プログラミング講座：C/C++言語編 第10章 著名な脆弱性対策：バッファオーバーフロー: #4 あふれを検出するデバッグ

第10章 著名な脆弱性対策 バッファオーバーフロー: #4 あふれを検出するデバッグ 領域あふれの問題の検出については、ロジックが複雑に入り組んでいる場合、ソースコードから見いだすのは容易でない。そのような場合、デバッガ等のツールの下で対象のプログラムを動かして、問題を見つけ出すことになる。 スタックおよびヒープにおけるあふれを検出するためのコンパイラのオプションやデバッグ・ツールがいくつか存在する。 次にその主なものを紹介する。 あふれの検出等に使うことのできるデバッグ・ツール ヒープにおける領域あふれやダブルフリー等の問題を検出できるツールをふたつ紹介する。ひとつは独立したツール、もうひとつは統合開発環境の中の機能である。 (1) Valgrind [GNU/Linux] ヒープデバッガを中心とした GNU/Linux 専用のツールスイートである。割当領域外への書き込みや、メモリリーク

[nikezono]

“buffer overflow”

[long_long_float]

メモリリークのチェックとか

[kyab]

にかぎらず色々なオプション

[kotak]

メモリリークの検出方法: Valgrind, Mudflap, MALLOC_CHECK_, -D_FORTIFY_SOURCE=nの紹介。他には、mtrace, mcheckぐらいか

[nilab]

IPA ISEC　セキュア・プログラミング講座：C/C 言語編　第10章 著名な脆弱性対策：バッファオーバーフロー: #4 あふれを検出するデバッグ:「メモリリークの検出」「==1929== 60907 bytes in 134 blocks are definitely lost in loss record 12 of 12」

[kk6]

MALLOC_CHECK_について調べてたらたどり着いた

[syd_syd]

valgrindとかmudflapとか

[iww]

MALLOC_CHECK_