Valgrind 도구 개요 — Memcheck·Helgrind·DRD 비교

#Valgrind는 어떤 도구인가

Valgrind를 한 줄로 요약하면 바이너리 위에서 가상 머신을 띄워 실행을 추적하는 도구입니다.

일반 실행:

• 프로그램 → CPU → 결과

Valgrind 실행:

• 프로그램 → 디스어셈블 → IR(VEX) → 계측 → 가상 CPU → 결과
• ↑
• 여기서 메모리·동기화 관찰

핵심은 재컴파일이 필요 없다는 것입니다. 이미 만들어진 바이너리에 Valgrind만 붙이면 동작합니다.

1
$ ./myapp                       # 정상 실행
2
$ valgrind ./myapp              # Memcheck로 실행 (기본 도구)
3
$ valgrind --tool=helgrind ./myapp   # 다른 도구

이게 Sanitizer와의 가장 큰 차이입니다. Sanitizer는 컴파일 시점에 계측되어 재컴파일이 필수입니다. Valgrind는 런타임에 가로채는 방식이라 원본 바이너리 그대로 분석합니다.

#Sanitizer 시대에 Valgrind가 살아남은 이유

Sanitizer가 더 빠르고 정확한데도 Valgrind가 사라지지 않는 이유는 서로 닿는 영역이 다르기 때문입니다.

요약: Sanitizer를 일상에서 쓰고, Valgrind를 닿지 못하는 자리에서 씁니다. 둘이 경쟁이 아니라 보완인 이유입니다.

대표적인 Valgrind만 가능한 자리:

• 상용 라이브러리·SDK — 소스 없이 바이너리만 받은 경우. 재컴파일 자체가 불가능.
• 레거시 시스템 — 옛 GCC, 임베디드 cross compiler, 오래된 RHEL/CentOS.
• 시스템 호출 깊이 추적 — read()/write()/mmap() 같은 syscall 단위 동작을 정확히.
• 초기화 안 된 메모리 사용의 정확한 시작점 — Memcheck가 바이트 단위 정의/미정의 상태를 추적.

#Valgrind의 세 도구

Valgrind는 플러그인 가능한 분석 프레임워크입니다. 동일한 가상 CPU 위에 다른 도구들이 끼어들어 서로 다른 관점으로 코드를 봅니다.

1
valgrind --tool=memcheck ./app    # 기본 (생략 가능)
2
valgrind --tool=helgrind ./app
3
valgrind --tool=drd ./app
4
valgrind --tool=callgrind ./app
5
valgrind --tool=cachegrind ./app
6
valgrind --tool=massif ./app

이 시리즈는 주요 세 가지 — Memcheck / Helgrind / DRD를 다룹니다. 나머지는 특정 용도에만 등장합니다 (Cachegrind = 캐시 시뮬레이션, Callgrind = 호출 그래프, Massif = 힙 프로파일러).

#Memcheck — 기본 도구

1
valgrind ./app
2
# 또는 명시적으로
3
valgrind --tool=memcheck ./app

잡는 것:

• 메모리 누수 (alloc 후 free 안 함)
• Invalid read/write (해제된 메모리 접근, 경계 침범)
• Uninitialized value 사용 (Valgrind만의 강점)
• Double free / mismatched free (malloc/new[]/delete 짝 오류)
• Overlapping memcpy

가장 자주 쓰는 도구입니다. Valgrind = Memcheck로 통하는 이유.

#Helgrind — 데이터 레이스 + 락 오용

1
valgrind --tool=helgrind ./app

잡는 것:

• POSIX pthreads의 잘못된 사용 (락 해제 안 함, 이미 잠긴 락에 unlock)
• 데이터 레이스 (동기화 없이 동시 접근)
• 락 순서 위반 (deadlock potential)
• pthread cond signal/wait 패턴 오류

TSan과 비슷한 일을 합니다. TSan이 더 빠르지만, Helgrind는 재컴파일 불가 바이너리에 적용 가능.

#DRD — Data Race Detector

1
valgrind --tool=drd ./app

Helgrind와 영역이 겹치지만 알고리즘이 다릅니다. DRD는 Lamport’s vector clock을 기반으로, Helgrind는 happens-before + 락 추적. 둘 중:

• Helgrind: 락 오용에 강함, false positive 적음.
• DRD: 메모리 사용량 적음, 큰 코드에 유리, 일부 데이터 레이스를 Helgrind보다 잘 잡음.

실무에서는 Helgrind를 먼저 시도하고, 그래도 안 잡히면 DRD로 확인하는 식.

#도구별 언제 무엇을

이 시리즈는 위 표의 위쪽 다섯 줄 — Memcheck + Helgrind + DRD에 집중합니다.

#첫 사용 — Hello, Memcheck

1
#include <stdlib.h>
2
#include <string.h>
3

4
int main() {
5
    char* buf = malloc(40);
6
    strcpy(buf, "hello");
7
    // free(buf) 빠뜨림
8
    return 0;
9
}

1
$ gcc -g leak.c -o leak
2
$ valgrind --leak-check=full ./leak
3
==12345== Memcheck, a memory error detector
4
==12345== Copyright (C) 2002-2022, and GNU GPL'd, by Julian Seward et al.
5
==12345== Using Valgrind-3.18.1 and LibVEX
6
==12345== Command: ./leak
7
==12345==
8
==12345==
9
==12345== HEAP SUMMARY:
10
==12345==     in use at exit: 40 bytes in 1 blocks
11
==12345==   total heap usage: 1 allocs, 0 frees, 40 bytes allocated
12
==12345==
13
==12345== 40 bytes in 1 blocks are definitely lost in loss record 1 of 1
14
==12345==    at 0x483977F: malloc (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
15
==12345==    by 0x10918A: main (leak.c:5)
16
==12345==
17
==12345== LEAK SUMMARY:
18
==12345==    definitely lost: 40 bytes in 1 blocks
19
==12345==    indirectly lost: 0 bytes in 0 blocks
20
==12345==      possibly lost: 0 bytes in 0 blocks
21
==12345==    still reachable: 0 bytes in 0 blocks
22
==12345==         suppressed: 0 bytes in 0 blocks

핵심 줄들:

1. HEAP SUMMARY — 종료 시 살아 있는 할당 요약.
2. definitely lost — 진짜 누수. 어디서도 못 가리키는 메모리. Sanitizer의 Direct leak과 동일.
3. 스택 트레이스 — leak.c:5까지 정확히 가리킴.
4. LEAK SUMMARY — 네 가지 누수 종류로 분류 (definitely / indirectly / possibly / still reachable).

leak.c:5가 줄 번호까지 정확합니다. 이게 -g 디버그 심볼 덕분.

#설치

#Linux (Debian/Ubuntu)

1
sudo apt install valgrind

#Linux (Fedora/RHEL)

1
sudo dnf install valgrind

#macOS

1
brew install --HEAD valgrind   # macOS는 공식 지원이 약함

macOS는 Apple Silicon에서 공식 지원이 사라졌습니다. Intel Mac에서만 어느 정도 동작. 최근 macOS = Sanitizer 우선이고, 깊은 Valgrind 분석은 Linux 환경에서 합니다.

#Windows

WSL이 정답입니다. 네이티브 Windows Valgrind는 없습니다.

#권장 버전

3.18.0+ — 최신 GCC·Clang의 디버그 심볼 형식 지원.

1
$ valgrind --version
2
valgrind-3.22.0

#시리즈 로드맵

1. Ch 1: 개요 (이 글)
2. Ch 2: Memcheck 실전 사용 — 옵션, leak-check 단계, suppression
3. Ch 3: Leak Report 읽기 — 4가지 누수 분류 해석, 재귀 트레이스, 우선순위
4. Ch 4: Helgrind / DRD — 멀티스레드 분석 두 도구 비교, 락 오용 패턴
5. Ch 5: Suppression과 실무 운용 — 외부 라이브러리 우회, CI 통합, Sanitizer와 분담

#정리

• Valgrind는 바이너리 가상 머신. 재컴파일 없이 분석. 10~50× 느림.
• Sanitizer와 보완 관계. 닿지 못하는 자리(상용 SDK / 시스템 호출 / 외부 .so)에 씀.
• 세 핵심 도구: Memcheck (메모리 + 초기화), Helgrind (락 + race), DRD (race).
• macOS는 공식 지원 약함. Linux + WSL이 사실상 표준 환경.
• 권장 운영: 일상 = Sanitizer, 릴리스 전 점검 = Valgrind Memcheck.

#다음 장 예고

Ch 2: Memcheck 실전 사용에서는 Memcheck의 모든 옵션과 어디서 어떤 보고가 나는지를 다룹니다. --leak-check, --show-leak-kinds, --track-origins, 그리고 동작 비용 vs 정확도 트레이드오프.

#참고 자료

• Valgrind Manual
• Memcheck User Manual
• Valgrind QuickStart

#관련 시리즈

• Sanitizers — Valgrind와 보완
• GDB / LLDB — 인터랙티브 디버깅