# rust-sanitizers-miri

Настраивает проверку unsafe-кода в Rust через Miri и санитайзеры LLVM. Помогает найти неопределённое поведение и гонки данных до релиза.

- скилл · `type=skill` · Claude Code, Codex, Cursor, GitHub Copilot, Gemini CLI, OpenCode · 527 установок · ★ 267
- Автор: mohitmishra786
- Лицензия: MIT · policy=mirror · начало файла — в конце страницы
- Исходник: https://github.com/mohitmishra786/low-level-dev-skills/tree/HEAD/skills/rust/rust-sanitizers-miri/SKILL.md
- Обновлён: 2026-06-27
- HTML: https://affpapa.org/nevibecode/skills/rust-sanitizers-miri

## Что делает

Скилл даёт ассистенту инструкции по запуску AddressSanitizer, ThreadSanitizer, MemorySanitizer и UBSan для Rust-проектов. Он содержит готовые команды сборки через `RUSTFLAGS` с флагом `-Zbuild-std` для пересборки стандартной библиотеки, а также шаблоны расшифровки отчётов об ошибках памяти вроде heap-buffer-overflow.

Вторая часть инструкций посвящена интерпретатору Miri. Скилл объясняет, как запустить `cargo +nightly miri test`, настроить переменные `MIRIFLAGS` для проверки строгого происхождения указателей через `-Zmiri-strict-provenance` и отключить изоляцию для работы с системным временем или файлами.

Санитайзеры и Miri требуют установленный тулчейн `nightly` вместе с компонентом `rust-src`, поэтому на стабильном Rust напрямую они работать не будут.

## Установка

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

1. **Через Skills CLI (Vercel)**
```bash
npx skills add mohitmishra786/low-level-dev-skills --skill rust-sanitizers-miri -a claude-code
```

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

### Codex

1. **Через Skills CLI (Vercel)**
```bash
npx skills add mohitmishra786/low-level-dev-skills --skill rust-sanitizers-miri -a codex
```

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

### Cursor

1. **Через Skills CLI (Vercel)**
```bash
npx skills add mohitmishra786/low-level-dev-skills --skill rust-sanitizers-miri -a cursor
```

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

### GitHub Copilot

1. **GitHub CLI**
```bash
gh skill install mohitmishra786/low-level-dev-skills rust-sanitizers-miri
```

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

### Gemini CLI

1. **Через Skills CLI (Vercel)**
```bash
npx skills add mohitmishra786/low-level-dev-skills --skill rust-sanitizers-miri -a gemini-cli
```

2. **Командой платформы**
```bash
gemini skills install https://github.com/mohitmishra786/low-level-dev-skills --path skills/rust/rust-sanitizers-miri
```

### Windsurf (Devin Desktop)

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

### OpenCode

**Через Skills CLI (Vercel)**
```bash
npx skills add mohitmishra786/low-level-dev-skills --skill rust-sanitizers-miri -a opencode
```

### Claude.ai

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

Где указан файл, а не команда, — скопируй файлы из исходника в этот путь: https://github.com/mohitmishra786/low-level-dev-skills/tree/HEAD/skills/rust/rust-sanitizers-miri/SKILL.md

## Когда брать
- найти утечки памяти и выходы за границы буфера через AddressSanitizer
- обнаружить гонки данных в многопоточном коде с помощью ThreadSanitizer
- проверить корректность работы с сырыми указателями и правила заимствования в Miri
- расшифровать стек вызовов из отчёта ASan при сбое в unsafe-блоке

## Примеры запросов агенту
- Запусти тесты моего крейта под Miri с отключённой изоляцией
- Помоги собрать тесты с AddressSanitizer и найди причину heap-buffer-overflow в логе
- Как добавить проверку ThreadSanitizer для многопоточного модуля в GitHub Actions?

## Похожие
- [migrate-to-shoehorn](https://affpapa.org/nevibecode/skills/migrate-to-shoehorn.md) — скилл · 475388 установок
- [write-swift](https://affpapa.org/nevibecode/skills/write-swift.md) — скилл · 119300 установок
- [megacave](https://affpapa.org/nevibecode/skills/megacave.md) — скилл · 25400 установок
- [find-docs](https://affpapa.org/nevibecode/skills/find-docs.md) — скилл · 9400 установок
- [typescript-advanced-types](https://affpapa.org/nevibecode/skills/typescript-advanced-types.md) — скилл · 92169 установок
- [smart-explore](https://affpapa.org/nevibecode/skills/smart-explore.md) — скилл · 7300 установок

Из того же набора: [mohitmishra786/low-level-dev-skills](https://affpapa.org/nevibecode/by/mohitmishra786/low-level-dev-skills.md) — 90 карточек

_Часть страницы не вошла по размеру — она есть в HTML-версии._

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