Как искать UB

Question

Какие инструменты помогают найти неопределённое поведение?

Техпрогон · Accepted Answer

Санитайзеры GCC и Clang: -fsanitize=undefined (переполнения, сдвиги, невыровненный доступ), -fsanitize=address (выход за границы, use-after-free), -fsanitize=thread (гонки). Плюс предупреждения -Wall -Wextra -Wconversion, статический анализ (clang-tidy) и Valgrind. Санитайзеры GCC и Clang: -fsanitize=undefined (переполнения, сдвиги, невыровненный доступ), -fsanitize=address (выход за границы, use-after-free), -fsanitize=thread (гонки). Плюс предупреждения -Wall -Wextra -Wconversion, статический анализ (clang-tidy) и Valgrind.. Санитайзеры GCC и Clang: -fsanitize=undefined (переполнения, сдвиги, невыровненный доступ), -fsanitize=address (выход за границы, use-after-free), -fsanitize=thread (гонки). Плюс предупреждения -Wall -Wextra -Wconversion, статический анализ (clang-tidy) и Valgrind.

Как искать UB

Вопрос

Попробуйте сами

Коротко

Ответ

Разбор

Ещё по теме «Типы и неопределённое поведение»