Sanitizer: Address, Thread, UB Sanitizer
Sanitizer 계열 도구로 메모리, 스레드 및 정의되지 않은 동작 버그를 찾습니다.
Sanitizer: Address, Thread, UB Sanitizer은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 2번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
실행 시간 검사기
살균기는 Clang과 GCC에 내장된 컴파일 시간 계측 실행 시간 검사기입니다. 형식 체계로는 찾을 수 없는 버그를 찾아냅니다.
AddressSanitizer (ASan)
버퍼 오버플로, 해제 후 사용, 이중 해제 및 메모리 누수와 같은 메모리 오류를 감지합니다. 성능 저하는 약 2배입니다.
g++ -fsanitize=address -g -O1 main.cpp
./a.outASan 출력 예시
ASan이 버그를 감지하면 정확한 줄과 오류 유형이 포함된 호출 스택을 출력합니다.
==ERROR: AddressSanitizer: heap-buffer-overflow
READ of size 4 at 0x60200000001c
#0 0x... in main main.cpp:12ThreadSanitizer (TSan)
데이터 경쟁과 기타 동시성 버그를 감지합니다. 성능 저하는 약 5~15배입니다.
g++ -fsanitize=thread -g main.cpp
./a.out
# Reports concurrent unprotected accesses정의되지 않은 동작 살균기(UBSan)
부호 있는 정수 오버플로, 널 포인터 역참조, 잘못 정렬된 메모리 접근, 0으로 나누기 등을 찾아냅니다.
g++ -fsanitize=undefined -g main.cppMemorySanitizer (MSan)
초기화되지 않은 메모리 읽기를 감지합니다. Clang에서만 사용할 수 있습니다. 전체 프로그램(라이브러리 포함)을 MSan으로 빌드해야 합니다.
LeakSanitizer
Linux에서는 ASan에 포함되어 제공됩니다. 프로그램이 종료될 때도 할당된 상태로 남아 있는 메모리를 보고합니다.
ASAN_OPTIONS=detect_leaks=1 ./a.out살균기는 공짜가 아닙니다
모든 살균기는 프로그램을 느리게 하고 더 많은 메모리를 사용합니다. 개발 및 CI에서 사용하고 프로덕션 릴리스에서는 사용하지 마십시오.
모두 결합할 수는 없습니다
ASan, TSan 및 MSan은 메모리를 서로 다른 방식으로 계측하므로 함께 사용할 수 없습니다. UBSan은 다른 살균기와 결합할 수 있습니다.
컴파일러 지원
GCC는 ASan, TSan 및 UBSan을 지원합니다. Clang은 여기에 MSan까지 더해 모두 지원합니다. 플래그는 컴파일러 간에 동일합니다.
CI 통합
CI에서 각 살균기로 테스트 모음을 실행하십시오. 릴리스 전에 경쟁 조건과 메모리 버그를 찾아낼 수 있습니다. 최상의 검사 범위를 얻으려면 퍼징과 결합하십시오.
팁: -O1로 빌드하기
살균기용으로 빌드할 때는 최소한 -O1로 최적화하십시오. -O0도 작동하지만 인라인 처리가 적어 호출 스택의 정보가 덜 유용해집니다.
억제 파일
알려진 오탐이나 타사 문제에는 억제 파일을 작성하고 살균기가 해당 항목을 무시하도록 지정하십시오.
ASAN_OPTIONS="suppressions=asan.supp" ./a.out빠른 확인
스레드 간 데이터 경쟁을 감지하는 살균기는 무엇입니까?
복습
살균기는 실제 실행 시간 버그를 찾아냅니다. AddressSanitizer는 메모리 오류를, ThreadSanitizer는 경쟁 상태를, UBSan은 정의되지 않은 동작을, MSan은 초기화되지 않은 읽기를 검사합니다. CI에서 테스트 모음과 결합하면 안전성을 크게 높일 수 있습니다.
자주 묻는 질문
“Sanitizer: Address, Thread, UB Sanitizer” 강의는 무료인가요?
네 — “Sanitizer: Address, Thread, UB Sanitizer” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“Sanitizer: Address, Thread, UB Sanitizer”에서 뭘 배우나요?
Sanitizer 계열 도구로 메모리, 스레드 및 정의되지 않은 동작 버그를 찾습니다. 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C++ Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 2번째 강의입니다.
“Sanitizer: Address, Thread, UB Sanitizer” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- 정적 분석 도구: clang-tidy, cppcheck
- Sanitizer: Address, Thread, UB Sanitizer
- libFuzzer로 퍼징하기
- C++ 프로젝트의 지속적 통합