К основному содержанию
скилл CX Codex

zeroize-audit — скилл для Claude Code: аудит затирания секретов

Ищет в C, C++ и Rust места, где пароли, ключи и токены остаются в памяти, и проверяет, не выбросил ли компилятор их затирание.

Установить в Claude Code · Через Skills CLI (Vercel) Все способы и платформы ↓
npx skills add trailofbits/skills --skill zeroize-audit -a claude-code
Открыть на GitHub

Что делает zeroize-audit

Скилл проходит по исходникам и ищет чувствительные значения, которые не обнуляются после использования. Отдельно он смотрит, не удалил ли компилятор само затирание: вывод об «оптимизировано» принимается только при наличии доказательств из IR или ассемблера. Для этого скилл сравнивает сборки на разных уровнях оптимизации, по умолчанию O0, O1 и O2. Уровень O1 диагностический: если затирание исчезает уже там, это простое устранение мёртвых записей, а O2 ловит более агрессивные случаи.

Работа идёт фазами от 0 до 7, каждой управляет отдельный файл workflow, а роль оркестратора описал автор в промпте. Есть проверка потока управления, отслеживание копий секрета, предупреждения по аллокаторам в куче и генерация тестов для проверки во время выполнения. Анализ только читает код, ничего в нём не меняет, а артефакты складывает во временный рабочий каталог. На выходе — отчёт в JSON.

Для запуска нужен корень репозитория и хотя бы одно из двух: compile_commands.json для C и C++ или Cargo.toml для Rust. Без этого preflight останавливает прогон, поэтому путь к базе компиляции придётся указать сразу. Ещё скилл опирается на MCP-сервер serena: без него не будет поиска символов и ссылок на них. Прерванный прогон можно продолжить с сохранённой фазы, если известен рабочий каталог.

Какие задачи решает

  • найти ключи и пароли, которые остаются в памяти после использования
  • проверить, не выбросил ли компилятор затирание секрета
  • подтвердить вывод об оптимизации доказательствами из IR или ассемблера
  • отследить, куда копируются значения секретов
  • сгенерировать тест, который ловит утечку во время выполнения

Примеры запросов агенту

  • Проверь этот крейт на секреты, оставшиеся в памяти
  • Убедись, что эта C-библиотека действительно затирает свои ключи
  • Прогони zeroize-audit по compile_commands.json и покажи отчёт

Как установить zeroize-audit

1Через Skills CLI (Vercel)

npx skills add trailofbits/skills --skill zeroize-audit -a claude-code

2Вручную: положить файлы

~/.claude/skills/zeroize-audit/SKILL.md

Папка скилла целиком; для одного проекта — .claude/skills/zeroize-audit/

По шагам, с командами для каждой платформы: Как установить скилл в Claude Code: пять способов

Вопросы о zeroize-audit

Как установить zeroize-audit в Claude Code?

Выполните npx skills add trailofbits/skills --skill zeroize-audit -a claude-code. Скилл встанет в ~/.claude/skills/zeroize-audit/SKILL.md.

Что делает zeroize-audit?

Ищет незатёртые секреты в C, C++ и Rust и проверяет, не убрал ли их обнуление компилятор. Вывод об оптимизации даёт только при доказательствах из IR или ассемблера.

Что нужно для запуска?

Корень репозитория и путь к compile_commands.json для C и C++ либо к Cargo.toml для Rust. Без одного из них preflight останавливает прогон.

Похожие скиллы

Всё по теме «Безопасность» →
git-guardrails-claude-code Matt Pocock Скилл ставит хук Claude Code, который останавливает опасные Git-команды до их запуска. Нужен, если агент не должен делать push или удалять изменения. 499 069установок ponytail-review DietrichGebert Скилл проверяет изменения глубже обычного diff: читает связанный код, ищет ошибки, риски, проблемы нагрузки и недостающие тесты. Пригодится для ревью PR и коммитов. CX Codex +1 57 000установок ponytail-audit DietrichGebert Проверяет репозиторий и ранжирует ошибки, риски и лишний код. Подойдёт, если нужен разовый разбор без автоматических правок. CX Codex +1 45 400установок security-audit cloudflare Проверяет кодовую базу на уязвимости и ищет нарушения границ доверия. Пригодится перед релизом или для точечного разбора опасных участков кода. CX Codex +1 54 800установок security-and-hardening addyosmani Помогает проектировать защиту и проверять код на уязвимости при работе с вводом, авторизацией, сессиями и внешними сервисами. Подойдёт перед релизом и при создании функций, которые обрабатывают недоверенные данные. CX Codex +1 70 200установок supabase официальный supabase Скилл помогает настраивать базу данных, аутентификацию и RLS в Supabase без скрытых дыр в безопасности. CX Codex GP ChatGPT 8установок

Из того же набора77

ruzzy Скилл ставит и запускает Ruzzy — фаззер для Ruby с покрытием на базе libFuzzer. Пригодится, когда нужно искать падения в геме или проверить нативное расширение на порчу памяти. CX Codex +1 5 100установок wycheproof Проверяет криптографические алгоритмы по тестовым векторам Project Wycheproof. Скилл помогает выявлять известные атаки и пограничные случаи в реализациях AES, RSA или ECDSA. CX Codex +1 5 200установок skill-improver Скилл запускает цикл ревью и исправлений для другого скилла, пока проверка не пройдёт без критических и крупных проблем. CX Codex +1 5 000установок let-fate-decide Скилл использует расклад Таро, чтобы выбрать направление, когда запрос оставляет несколько разумных вариантов. Подходит для неформальной передачи решения агенту. CX Codex +1 4 700установок diagramming-code Строит диаграммы Mermaid по графу кода через Trailmark. Помогает визуализировать вызовы функций, структуру модулей и пути потоков данных. CX Codex +1 4 200установок dimensional-analysis Проверяет числовую арифметику на путаницу единиц и десятичных масштабов, затем добавляет комментарии размерностей. Нужен при разборе формул и конвертаций. CX Codex +1 4 200установок mutation-testing Скилл ведёт агента по мутационному тестированию: настройка кампании в mewt или muton, разбор выживших мутантов, поиск багов в непокрытом коде. CX Codex +1 4 200установок trailmark Парсит исходный код и бинарники в граф вызовов для поиска векторов атак, точек входа и путей передачи данных при аудите безопасности. CX Codex +1 4 000установок

Спонсоры проекта

Компании, которые помогают держать аналитику открытой