# gitnexus-taint-analysis

Скилл для работы с подсистемой CFG/taint/PDG в GitNexus: разбор находок, добавление источников и стоков, правка межпроцедурного кода.

- скилл · `type=skill` · Claude Code, Codex, Cursor, GitHub Copilot, Gemini CLI, OpenCode · 335 установок · ★ 48043
- Автор: abhigyanpatwari
- Лицензия: LicenseRef-Unknown · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/abhigyanpatwari/GitNexus/tree/HEAD/gitnexus-claude-plugin/skills/gitnexus-taint-analysis/SKILL.md
- Обновлён: 2026-10-25
- HTML: https://affpapa.org/nevibecode/skills/gitnexus-taint-analysis

## Что делает

Скилл даёт агенту знания о внутренностях `--pdg` в GitNexus: графы потока управления, достигающие определения и taint-анализ внутри и между процедурами. Он пригодится, когда нужно объяснить находку `explain`, добавить новый источник, сток или санитайзер, либо разобрать ложное срабатывание в выводе `--pdg`.

Устроено это слоями. L1 строит CFG по функциям, L2 считает достигающие определения, L3 ищет пути от источников к стокам внутри функции с учётом санитайзеров, L4 собирает межпроцедурные сводки и прогоняет их по графу вызовов. Парсер наполняет побочный канал данными, а решают всё чистые функции на главном потоке. Каждый слой включается только при `--pdg`, и обычный прогон `analyze` остаётся побайтово тем же.

Есть и слабые места, о которых стоит знать заранее. Замыкания и колбэки taint не пробрасывают: без моделей под конкретные библиотеки поток в колбэк теряется. Также отложены потоки через поля объектов, санитайзеры в стиле проверок и асинхронная передача через промисы. Контекстная нечувствительность здесь принята сознательно — одна сводка на функцию, поэтому слияние вызовов может дать ложные срабатывания.

## Установка

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

1. **Через Skills CLI (Vercel)**
```bash
npx skills add abhigyanpatwari/GitNexus --skill gitnexus-taint-analysis -a claude-code
```

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

### Codex

1. **Через Skills CLI (Vercel)**
```bash
npx skills add abhigyanpatwari/GitNexus --skill gitnexus-taint-analysis -a codex
```

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

### Cursor

1. **Через Skills CLI (Vercel)**
```bash
npx skills add abhigyanpatwari/GitNexus --skill gitnexus-taint-analysis -a cursor
```

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

### GitHub Copilot

1. **GitHub CLI**
```bash
gh skill install abhigyanpatwari/GitNexus gitnexus-taint-analysis
```

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

### Gemini CLI

1. **Через Skills CLI (Vercel)**
```bash
npx skills add abhigyanpatwari/GitNexus --skill gitnexus-taint-analysis -a gemini-cli
```

2. **Командой платформы**
```bash
gemini skills install https://github.com/abhigyanpatwari/GitNexus --path gitnexus-claude-plugin/skills/gitnexus-taint-analysis
```

### Windsurf (Devin Desktop)

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

### OpenCode

**Через Skills CLI (Vercel)**
```bash
npx skills add abhigyanpatwari/GitNexus --skill gitnexus-taint-analysis -a opencode
```

### Claude.ai

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

Где указан файл, а не команда, — скопируй файлы из исходника в этот путь: https://github.com/abhigyanpatwari/GitNexus/tree/HEAD/gitnexus-claude-plugin/skills/gitnexus-taint-analysis/SKILL.md

## Когда брать
- объяснить, почему `explain` не нашёл конкретный поток данных
- добавить новый источник, сток или санитайзер в модель
- разобрать ложное срабатывание в выводе `--pdg`
- расширить или проверить код CFG и достигающих определений
- понять разницу между внутри- и межпроцедурными находками

## Примеры запросов агенту
- Как здесь работает taint-анализ и почему этот поток не попал в отчёт?
- Добавь новый сток для `db.query` в модель taint.
- Проверь код межпроцедурного taint в `gitnexus/src/core/ingestion/taint/**`.

## Похожие
- [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 установок

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

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