Valgrind: メモリリーク検出

malloc/free の対応を確認。リークを特定。

Valgrind

メモリエラー検出ツール。

メモリリーク

解放されないメモリ。

ASan

Address Sanitizer。高速。

Valgrind

1
# Valgrind の使用
2

3
# コンパイル（-g オプション必須）
4
gcc -g -O0 main.c -o main
5

6
# メモリリーク検出
7
valgrind --leak-check=full ./main
8

9
# 出力例
10
==1234== HEAP SUMMARY:
11
==1234==   total heap usage: 10 allocs, 8 frees
12
==1234==   definitely lost: 100 bytes in 2 blocks
13
==1234==   indirectly lost: 0 bytes
14
==1234==   possibly lost: 0 bytes
15
==1234==   still reachable: 0 bytes
16

17
# エラー種別
18
# - definitely lost: 確実なリーク
19
# - indirectly lost: リークしたポインタ経由で参照不可
20
# - possibly lost: 循環参照などの可能性
21
# - still reachable: 終了時に到達可能（通常は問題なし）

Bad

1
// ❌ Bad: リークに気づかない
2
int* p = malloc(100);
3
p = malloc(200);  // 最初の100がリーク

Good

1
// ✅ Good: Valgrind で検出
2
// $ valgrind ./program
3
// ==1234== 100 bytes definitely lost

パターン

1
# よく使うオプション
2

3
# すべてのリークを表示
4
valgrind --leak-check=full --show-leak-kinds=all ./main
5

6
# リークの発生箇所を追跡
7
valgrind --leak-check=full --track-origins=yes ./main
8

9
# 子プロセスも追跡
10
valgrind --trace-children=yes ./main
11

12
# ログファイルに出力
13
valgrind --log-file=valgrind.log ./main
14

15
# その他のツール
16

17
# Memcheck（デフォルト）- メモリエラー検出
18
valgrind --tool=memcheck ./main
19

20
# Cachegrind - キャッシュヒット率分析
21
valgrind --tool=cachegrind ./main
22

23
# Callgrind - 関数呼び出しプロファイリング
24
valgrind --tool=callgrind ./main
25
# 結果を表示: kcachegrind callgrind.out.*
26

27
# Address Sanitizer（代替手段）
28
gcc -fsanitize=address -g main.c -o main
29
./main  # 実行時にエラーを検出

Tip: CI/CD に Valgrind を組み込む。

合格ライン

☐ Valgrind でリークを検出できる

☐ 出力を読み解ける