メモリリークのチェックのときの覚書

以下、C言語を念頭に。

確保、開放時に以下のものの対応が取れていることを確認する。
●先頭アドレス
●大きさ
●型


ダングリングポインタ（dangling pointer）がないかどうかのチェック。
↓にあるように、ダングリングポインタは危険
セキュリティの深刻な脆弱性につながるダングリングポインタ（TechTarget）
http://techtarget.itmedia.co.jp/tt/news/0711/01/news02.html
メモリ管理の手段として「スマートポインタ」が紹介されいている。
また、ダングリングポインタの回避策として、「トゥームストーン方式」や「ロックアンドキー方式」が紹介されている。


ダングリングポインタの発生パターンは、以下のようなものが考えられる。
●普通に解放後に参照した。（ｆｒｅｅするのが早すぎた）
●同じ領域を複数のポインタが参照しているときに、いくつかは開放したものの開放し忘れたポインタでアクセスしようとした。
●マルチスレッドで書いているときに、領域確保する前に別スレッドがそこにアクセスしようとした。
など。


↓にはＬｉｎｕｘ上でのメモリ管理の話がある。メモリの使用状況の調査、消費量の多いプロセスの絞り方、メモリリークの検出、対策が紹介されている。
Linux のメモリー管理(メモリ−が足りない？,メモリーリークの検出/防止)
http://www.math.kobe-u.ac.jp/~kodama/tips-free-memory.html
メモリリークの検出方法として
* free, top か ps で使用メモリが急速に増大していないか確認
* Boehm GC を leak detector として使う
* ccmalloc
* dmalloc
* mpatrol
が紹介されている。


memprofはＬｉｎｕｘ上で動作するＧＵＩのメモリプロファイラ。以下のページに簡単な使い方とともに紹介されいている。
Cプログラミングのメモ
http://people.redhat.com/otaylor/memprof/