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

★ 6.5 · testing

memory-safety is a Claude Code skill that runs AddressSanitizer and UndefinedBehaviorSanitizer on the Z3 test suite to detect memory errors, undefined behavior, and leaks. It builds Z3 with compiler-based sanitizer instrumentation via cmake using `-fsanitize` flags, then executes the test binary with `halt_on_error=0` so every violation is captured rather than aborting on the first. The skill parses runtime output for heap and stack buffer overflows, use-after-free, double-free, null pointer dereferences, signed integer overflows, and misaligned accesses. Findings are deduplicated by category, file, and line, then stored in z3agent.db for triage and longitudinal trend analysis across runs. It is aimed at teams performing C++ quality assurance who need systematic, trackable memory safety regression testing for Z3.