Поиск ошибок памяти через ASan и UBSan

★ 6.5 · testing

memory-safety — это скилл для Claude Code, который запускает AddressSanitizer и UndefinedBehaviorSanitizer на тестовом наборе Z3 для обнаружения ошибок памяти, неопределённого поведения и утечек. Скилл собирает Z3 с инструментацией компилятора через cmake с флагами `-fsanitize`, выполняет тестовый бинарь с `halt_on_error=0` — чтобы зафиксировать все нарушения, а не остановиться на первом, — затем парсит вывод на предмет переполнений буфера, use-after-free, разыменования нулевого указателя, целочисленного переполнения и смещений. Находки дедуплицируются по категории, файлу и строке, после чего сохраняются в z3agent.db для triage и сравнения с предыдущими запусками. Подойдёт командам, которые занимаются обеспечением качества C++-кода и хотят систематически выявлять регрессии безопасности памяти в Z3.