Статический анализ кода с отслеживанием регрессий

★ 6.5 · testing

static-analysis — это скилл для Claude Code, который запускает Clang Static Analyzer (scan-build) на исходном коде Z3, собирает plist-диагностику и записывает структурированные находки в базу данных z3agent.db для отслеживания регрессий. Скилл выполняет три шага: сборку через `scan-build cmake` и `scan-build make`, разбор результирующих plist-файлов с группировкой по категориям (null dereference, dead store, use-after-free и другие), а затем сравнение с предыдущими прогонами через SQL-запросы к z3agent.db. Параметры запуска — `--build-dir`, `--output-dir`, `--timeout` и `--debug` — позволяют встроить анализ в регулярные CI-sweep'ы. Подходит командам, которым нужен воспроизводимый статический анализ C++-кода SMT-решателя Z3 с историей находок по коммитам.