C++ Academy · Lekcja

Sanitizery: Address, Thread, UB

Wykrywaj błędy pamięci, wielowątkowości i niezdefiniowanego zachowania za pomocą rodziny sanitizerów

Lekcja 2 z 415 kroki

Sanitizery: Address, Thread, UB to bezpłatna lekcja C++ Academy na CoddyKit. To lekcja 2 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej C++ Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs C++ Academy zawiera 4 lekcji w sumie.

Kontrolery czasu wykonania

Sanitizery to instrumentowane podczas kompilacji kontrolery czasu wykonania wbudowane w Clang i GCC. Wykrywają błędy, których system typów nie potrafi wykryć.

AddressSanitizer (ASan)

Wykrywa błędy pamięci: przepełnienia bufora, użycie po zwolnieniu, podwójne zwolnienie i wycieki. Spowolnienie wynosi około 2 razy.

g++ -fsanitize=address -g -O1 main.cpp
./a.out

Przykładowy wynik ASan

Gdy ASan wykryje błąd, wypisuje ślad stosu z dokładnym wierszem i typem błędu.

==ERROR: AddressSanitizer: heap-buffer-overflow
READ of size 4 at 0x60200000001c
    #0 0x... in main main.cpp:12

ThreadSanitizer (TSan)

Wykrywa wyścigi danych i inne błędy współbieżności. Spowolnienie wynosi około 5–15 razy.

g++ -fsanitize=thread -g main.cpp
./a.out
# Reports concurrent unprotected accesses

Undefined Behavior Sanitizer (UBSan)

Wykrywa przepełnienie liczb całkowitych ze znakiem, dereferencję pustego wskaźnika, nieprawidłowe wyrównanie, dzielenie przez zero i inne problemy.

g++ -fsanitize=undefined -g main.cpp

MemorySanitizer (MSan)

Wykrywa odczyty niezainicjalizowanej pamięci. Dostępny tylko w Clang. Wymaga zbudowania całego programu, w tym bibliotek, z użyciem MSan.

LeakSanitizer

W systemie Linux jest dołączony do ASan. Zgłasza pamięć, która nadal jest zaalokowana w chwili zakończenia programu.

ASAN_OPTIONS=detect_leaks=1 ./a.out

Sanitizery NIE są darmowe

Wszystkie sanitizery spowalniają programy i zwiększają zużycie pamięci. Należy używać ich podczas tworzenia i w CI — nie w wydaniach produkcyjnych.

Nie można połączyć wszystkich

ASan, TSan i MSan wzajemnie się wykluczają — instrumentują pamięć w różny sposób. UBSan można łączyć z pozostałymi sanitizerami.

Obsługa przez kompilatory

GCC obsługuje ASan, TSan i UBSan. Clang obsługuje wszystkie wymienione narzędzia oraz MSan. Flagi są identyczne w obu kompilatorach.

Integracja z CI

W CI należy uruchamiać zestaw testów z każdym sanitizerem. Pozwala to wykryć wyścigi i błędy pamięci, zanim trafią do wydania. Aby uzyskać najlepsze pokrycie, warto połączyć je z fuzzingiem.

Wskazówka: buduj z -O1

Podczas budowania z użyciem sanitizerów należy stosować optymalizację co najmniej na poziomie -O1. -O0 działa, ale powoduje mniej inliningu, przez co ślady stosu są mniej czytelne.

Pliki wykluczeń

W przypadku znanych fałszywych alarmów lub problemów w bibliotekach innych firm należy utworzyć plik wykluczeń i poinformować sanitizer, aby je ignorował.

ASAN_OPTIONS="suppressions=asan.supp" ./a.out

Szybkie sprawdzenie

Który sanitizer wykrywa wyścigi danych między wątkami?

Odpowiedz w interaktywnej lekcji

Podsumowanie

Sanitizery wykrywają rzeczywiste błędy czasu wykonania: AddressSanitizer błędy pamięci, ThreadSanitizer wyścigi, UBSan niezdefiniowane zachowanie, a MSan odczyty niezainicjalizowanej pamięci. Warto połączyć je z zestawem testów w CI, aby znacznie zwiększyć bezpieczeństwo.

Bezpłatny start

Ucz się C++ dzięki korepetycjom AI — za darmo

Pisz i uruchamiaj kod w przeglądarce, otrzymuj natychmiastową pomoc od korepetytora AI dostępnego 24/7 i kontynuuj naukę w sieci lub w aplikacji.

Kursy: 51
Lekcje: 203

Zacznij naukę bezpłatnie Wyświetl pełny kurs

Często zadawane pytania

Czy lekcja „Sanitizery: Address, Thread, UB” jest bezpłatna?

Tak — pełny tekst „Sanitizery: Address, Thread, UB” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu C++ Academy, przejdź na CoddyKit PRO. Kurs C++ Academy zawiera 4 lekcji w sumie.

Co nauczysz się w „Sanitizery: Address, Thread, UB”?

Wykrywaj błędy pamięci, wielowątkowości i niezdefiniowanego zachowania za pomocą rodziny sanitizerów Ćwiczysz C++ Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.

Czy potrzebuję doświadczenia, aby zacząć C++ Academy?

Nie wymagamy żadnego doświadczenia. C++ Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 2 z 4.

Ile czasu zajmuje lekcja „Sanitizery: Address, Thread, UB”?

Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.

Czy mogę pisać i uruchamiać kod w tej lekcji C++ Academy?

Tak. Każda lekcja C++ Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.

Wszystkie lekcje w tym kursie

Narzędzia analizy statycznej: clang-tidy, cppcheck
Sanitizery: Address, Thread, UB
Fuzzing z libFuzzer
Ciągła integracja projektów C++

← Powrót do C++ Academy