# zeroize-audit

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

- скилл · `type=skill` · Claude Code, Codex, Cursor, GitHub Copilot, Gemini CLI, OpenCode · 4700 установок · ★ 7805
- Автор: trailofbits
- Лицензия: CC-BY-SA-4.0 · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/trailofbits/skills/tree/HEAD/plugins/zeroize-audit/skills/zeroize-audit/SKILL.md
- Обновлён: 2026-10-24
- HTML: https://affpapa.org/nevibecode/skills/zeroize-audit

## Что делает

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

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

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

## Установка

### Claude Code (родная платформа)

1. **Через Skills CLI (Vercel)**
```bash
npx skills add trailofbits/skills --skill zeroize-audit -a claude-code
```

2. **Вручную: положить файлы**
- Файл: `~/.claude/skills/zeroize-audit/SKILL.md` — Папка скилла целиком; для одного проекта — .claude/skills/zeroize-audit/

### Codex

1. **Через Skills CLI (Vercel)**
```bash
npx skills add trailofbits/skills --skill zeroize-audit -a codex
```

2. **Вручную: положить файлы**
- Файл: `.agents/skills/zeroize-audit/SKILL.md` — Для всех проектов — ~/.agents/skills/

### Cursor

1. **Через Skills CLI (Vercel)**
```bash
npx skills add trailofbits/skills --skill zeroize-audit -a cursor
```

2. **Вручную: положить файлы**
- Файл: `.cursor/skills/zeroize-audit/SKILL.md` — Cursor читает и .agents/skills/, и .claude/skills/

### GitHub Copilot

1. **GitHub CLI**
```bash
gh skill install trailofbits/skills zeroize-audit
```

2. **Вручную: положить файлы**
- Файл: `.github/skills/zeroize-audit/SKILL.md`

### Gemini CLI

1. **Через Skills CLI (Vercel)**
```bash
npx skills add trailofbits/skills --skill zeroize-audit -a gemini-cli
```

2. **Командой платформы**
```bash
gemini skills install https://github.com/trailofbits/skills --path plugins/zeroize-audit/skills/zeroize-audit
```

### Windsurf (Devin Desktop)

**Вручную: положить файлы**
- Файл: `.devin/skills/zeroize-audit/SKILL.md` — Старый путь .windsurf/skills/ тоже читается

### OpenCode

**Через Skills CLI (Vercel)**
```bash
npx skills add trailofbits/skills --skill zeroize-audit -a opencode
```

### Claude.ai

**Claude.ai**
- Упакуйте папку в zip и загрузите в Settings → Capabilities → Skills

Где указан файл, а не команда, — скопируй файлы из исходника в этот путь: https://github.com/trailofbits/skills/tree/HEAD/plugins/zeroize-audit/skills/zeroize-audit/SKILL.md

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

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

## Похожие
- [git-guardrails-claude-code](https://affpapa.org/nevibecode/skills/git-guardrails-claude-code.md) — скилл · 499069 установок
- [ponytail-review](https://affpapa.org/nevibecode/skills/ponytail-review.md) — скилл · 57000 установок
- [ponytail-audit](https://affpapa.org/nevibecode/skills/ponytail-audit.md) — скилл · 45400 установок
- [security-audit](https://affpapa.org/nevibecode/skills/cloudflare-security-audit.md) — скилл · 54800 установок
- [security-and-hardening](https://affpapa.org/nevibecode/skills/security-and-hardening.md) — скилл · 70200 установок
- [supabase](https://affpapa.org/nevibecode/skills/supabase.md) — скилл · 8 установок

Из того же набора: [trailofbits/skills](https://affpapa.org/nevibecode/by/trailofbits/skills.md) — 77 карточек

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md
