23강. 디버깅과 코드 품질: Sanitizer, 경고, Assert로 메모리 버그 찾기

?이번 강의에서 해결할 문제

크래시 줄만 보고 null 검사를 추가하면 원인이 수명 종료나 범위 초과일 때 문제가 남습니다. 메모리 버그는 재현 입력, 빌드 설정, 첫 잘못된 접근과 할당·해제 위치를 함께 봐야 합니다.

✓학습 목표

✓이 강의를 마치면

• 경고, Assert, AddressSanitizer와 UndefinedBehaviorSanitizer의 역할을 구분합니다.
• 실패를 최소 재현으로 줄이고 첫 도구 보고서를 읽습니다.
• 수정 전후 입력·출력·도구 결과를 기록합니다.

◇먼저 알아야 할 핵심 개념

컴파일러 경고는 의심스러운 변환·수명·제어 흐름을 빌드 단계에서 찾습니다. Assert는 개발 중 반드시 참이어야 하는 내부 불변식을 확인합니다. AddressSanitizer는 use-after-free와 범위 오류 같은 메모리 문제를, UndefinedBehaviorSanitizer는 지원되는 UB를 찾습니다. ThreadSanitizer는 지원 환경에서 데이터 레이스를 검사합니다.

§왜 이 문제가 위험한가

Sanitizer는 모든 버그를 찾는 증명이 아니며 컴파일러·플랫폼별 지원 범위가 다릅니다. 보고서 마지막 크래시 줄만 보면 원인보다 증상을 고칠 수 있습니다. Assert를 사용자 입력 검증에 사용하면 Release에서 제거될 수 있어 오류 처리가 사라질 수 있습니다.

§가장 작은 예제로 시작하기

checked_index.cpp

#include <cassert>
#include <iostream>
#include <optional>
#include <vector>

std::optional<int> valueAt(const std::vector<int>& values, std::size_t index) {
    if (index >= values.size()) return std::nullopt;
    return values[index];
}

int sumKnownNonEmpty(const std::vector<int>& values) {
    assert(!values.empty() && "caller must provide at least one value");
    int total{};
    for (const int value : values) total += value;
    return total;
}

int main() {
    const std::vector<int> values{3, 5};
    if (const auto value = valueAt(values, 3)) std::cout << *value << '\n';
    else std::cout << "out of range\n";
    std::cout << sumKnownNonEmpty(values) << '\n';
}

§코드 한 줄씩 이해하기

1. 외부에서 들어올 수 있는 범위 오류는 optional 결과로 처리합니다.
2. 내부 호출 계약은 Assert로 개발 빌드에서 확인합니다.
3. Assert가 있어도 UB를 일부러 실행하지 않습니다.
4. 범위 기반 for가 유효한 원소만 순회합니다.
5. 경고와 Sanitizer는 이 안전한 기준선이 통과해야 합니다.

§실행 결과와 메모리·동작 흐름

출력은 out of range, 8입니다. 잘못된 인덱스는 vector를 접근하기 전에 거부됩니다. 내부 합계 함수는 비어 있지 않다는 호출자 불변식을 Debug에서 검사합니다.

✎단계별 실습

✎직접 실습

실습 목표

안전한 기준선을 만든 뒤 도구가 보고하는 증거로 오류를 분류합니다.

시작 전 상태와 실행 방법

MSVC는 /W4와 지원되는 AddressSanitizer 설정, clang++/g++는 -Wall -Wextra -Wpedantic 및 환경이 지원하면 -fsanitize=address,undefined -fno-omit-frame-pointer를 사용합니다. 컴파일러 공식 도움말에서 실제 지원 옵션을 확인합니다.

1단계: 최소 코드 작성

안전한 예제를 높은 경고 수준으로 빌드해 경고 0과 예상 출력을 기록합니다.

2단계: 값 또는 조건을 바꿔 결과 비교

유효 인덱스 1과 잘못된 인덱스 3을 비교하고 두 경로 모두 프로세스가 정상 종료하는지 확인합니다.

3단계: 작은 기능 확장

Task의 우선순위 0~5 불변식을 생성자 또는 팩토리에서 검사하고 개발 내부 조건에는 Assert를 추가합니다.

4단계: 스스로 해결하기

별도 학습 브랜치에서만 vector 범위 오류 또는 use-after-free 최소 재현을 만들고 Sanitizer의 첫 잘못된 접근, 할당, 해제 위치를 기록한 뒤 안전한 코드로 되돌립니다.

막혔을 때

• Sanitizer 옵션이 지원되지 않으면 컴파일러·플랫폼 버전을 확인하고 경고·디버거로 대체한 한계를 기록합니다.
• 보고서가 길면 사용자 소스의 첫 프레임과 allocation/free 흔적을 찾습니다.
• Release에서 Assert가 없다는 전제로 사용자 오류 처리를 별도로 유지합니다.

!흔한 실수와 해결 방법

!자주 하는 실수

• 경고를 무시하고 실행: 높은 경고 수준에서 새 경고를 수정하거나 근거 있는 제한적 억제를 합니다.
• Assert로 사용자 입력 처리: Release에서도 필요한 명시적 오류 결과를 사용합니다.
• Sanitizer 통과를 완전한 안전 증명으로 사용: 테스트한 경로와 도구 지원 범위만 검증한 것입니다.

§언제 사용하고 언제 피할까

경고는 항상 기준선으로, Assert는 내부 불변식에, Sanitizer는 Debug·테스트 구성의 메모리·UB·경쟁 조사에 사용합니다. 운영 사용자 오류를 Assert 하나로 처리하거나 성능 측정 결과를 Sanitizer 빌드와 혼동하지 않습니다.

§게임 개발 연결

Unreal의 check, ensure, 로그·프로파일 도구는 표준 assert와 목적·빌드 동작이 다릅니다. 엔진 매크로의 배포 구성 동작을 확인하고 사용자 입력·네트워크 오류를 강제 중단으로 처리하지 않습니다. 일반 C++ 모듈에는 지원되는 Sanitizer와 정적 분석을 함께 적용할 수 있습니다.

?이해 점검 질문 3개

1. Assert와 사용자 입력 오류 반환은 왜 서로 대체할 수 없나요?
2. Sanitizer 보고서에서 첫 잘못된 접근과 할당·해제 위치를 함께 봐야 하는 이유는 무엇인가요?
3. Sanitizer 통과가 모든 메모리 버그 부재를 증명하지 못하는 이유는 무엇인가요?

■핵심 요약

■핵심 요약

도구는 추측을 증거로 바꿉니다. 높은 경고 수준과 안전한 기준선을 세우고, 최소 재현·첫 오류 위치·수정 후 회귀 결과를 함께 기록합니다.

§다음 강의 연결

24강. 최종 작업 큐와 리소스 관리 도구에서 소유권·STL·오류와 도구 검증을 하나의 프로젝트로 통합합니다.