Seclab Taskflows Fuzzing

Управляемый LLM конвейер фаззинга в стиле OSS-Fuzz для нативных проектов на C/C++. AFL++ для выполнения, clang+lcov для покрытия, LLM-агент для написания харнессов, решений на основе обратной связи по покрытию, триажа и отчётности.

• Полностью автономный: дайте ему репозиторий GitHub, и он сделает всё — от определения цели до отчётов об уязвимостях.
• Техники в стиле OSS-Fuzz: мутаторы/словари для каждого формата, структурно-осознанное сращивание токенов, улучшение харнессов на основе покрытия.
• Формирует машиночитаемые отчёты о крашах с вердиктами об эксплуатируемости и предлагаемыми патчами.
• Живая HTML-панель для мониторинга кампании в реальном времени.
• Написан на Python (taskflows/toolboxes/configs) с генерацией харнессов на C для AFL++.
• Статус: Активная разработка.

Предыстория

Этот репозиторий содержит taskflow фаззинга для GitHub Security Lab Taskflow Agent. Он зависит от сопутствующего репозитория seclab-taskflows для нескольких общих строительных блоков (taskflow fetch_source_code, тулбоксы local_file_viewer / gh_file_viewer и конфигурация model_config по умолчанию) — они устанавливаются автоматически как зависимость Python.

Вклад приветствуется! См. CONTRIBUTING.md для рекомендаций.

Требования

• Python 3.11+
• Среда Linux (или Codespace) с доступом к apt
• AFL++, clang, lcov, ctags, cscope, graphviz (автоматически устанавливаются конвейером, если отсутствуют)
• Git и GitHub CLI (gh)

Установка

pip install git+https://github.com/GitHubSecurityLab/seclab-taskflows-fuzzing

Это транзитивно подтягивает seclab-taskflow-agent и seclab-taskflows (родительский), поэтому каждая точечная ссылка вида seclab_taskflows.taskflows.audit.*, seclab_taskflows.toolboxes.local_file_viewer, seclab_taskflows.toolboxes.gh_file_viewer и seclab_taskflows.configs.model_config разрешается из родительского дистрибутива во время выполнения.

---

Содержание

1. Что это такое
2. Быстрый старт
3. Архитектура
4. Пайплайн, этап за этапом
5. Цикл обратной связи по покрытию
6. Структурно-осведомлённый фаззинг
7. Постоянный корпус между итерациями и кампаниями
8. Триаж и отчёты об уязвимостях
9. Живая панель мониторинга
10. Выходные файлы
11. Схема базы данных
12. Инструменты MCP (словарь агента)
13. Настраиваемые параметры (переменные окружения)
14. Расширение пайплайна
15. Бенчмарк-проекты и результаты
16. Ограничения и подводные камни
17. Предупреждение о безопасности
18. Разработка: тестирование, линтинг, участие
19. Глоссарий

---

Что это такое

Этот taskflow представляет собой полностью автономный пайплайн фаззинга. Получив GitHub-репозиторий нативного проекта на C/C++, он:

1. установит AFL++ + clang/llvm/lcov + ctags/cscope/graphviz, если их нет,
2. получит исходный код,
3. определит кандидатов в цели фаззинга (парсеры, декодеры, валидаторы, …),
4. проанализирует систему сборки и соберёт целевую библиотеку трижды: с инструментацией edge-coverage AFL++ плюс санитайзерами, с инструментацией CMPLOG AFL++, и с инструментацией покрытия на основе исходного кода clang,
5. напишет одного или нескольких кандидатов-харнессов на каждую цель, соберёт каждый как инструментированный AFL++ бинарник .afl, инструментированный CMPLOG AFL++ бинарник .cmplog и инструментированный покрытием clang бинарник .cov,
6. (опционально) квалифицирует кандидатов по 60-секундному покрытию и оставит лучших,
7. запустит цикл фаззинга/покрытия/улучшения с удвоением временных бюджетов,
8. проведёт триаж каждого краша, подтвердит, что ранее известные краши всё ещё воспроизводятся, и напишет по каждому крашу markdown-отчёты об уязвимостях с вердиктами, эксплуатируемостью, предлагаемыми патчами и набросками регрессионных тестов,
9. построит граф вызовов в стиле Fuzz-Introspector + отчёт о нетронутых API для следующей кампании,
10. опубликует всё на живой HTML-панели мониторинга.

Пайплайн в духе OSS-Fuzz: он использует многие из тех же техник (мутаторы и словари для каждого формата, структурно-осведомлённую склейку токенов, улучшения харнессов на основе покрытия, машиночитаемые отчёты, дедуплицированные краши со стековым хешированием), но он гораздо меньше и самодостаточен.

---

Быстрый старт

# Inside the codespace (or a host with python + git available):
./scripts/fuzzing/run_fuzzing.sh tukaani-project/xz

Это весь интерфейс. Скрипт автономен; при первом запуске он установит AFL++, а затем будет управлять остальным рабочим процессом. Выходные файлы записываются в ~/.local/share/seclab-taskflow-agent/seclab-taskflows/.

Панель управления автоматически запускается в фоновом режиме; в Codespace порт 8765 автоматически перенаправляется — откройте его в любом браузере, чтобы наблюдать за прогрессом в реальном времени.

Для быстрой проверки работоспособности используйте небольшую цель:

./scripts/fuzzing/run_fuzzing.sh DaveGamble/cJSON

---

Архитектура

Три слоя, сверху вниз:

┌────────────────────────────────────────────────────────────────────┐
│  scripts/fuzzing/run_fuzzing.sh                                    │
│      shell driver; chains the taskflow stages with `set +e`        │
└────────────────────┬───────────────────────────────────────────────┘
                     │
                     ▼
┌────────────────────────────────────────────────────────────────────┐
│  src/seclab_taskflows/taskflows/fuzzing/*.yaml                     │
│      LLM agent prompts; one YAML per pipeline stage                │
└────────────────────┬───────────────────────────────────────────────┘
                     │  (calls MCP tools)
                     ▼
┌────────────────────────────────────────────────────────────────────┐
│  src/seclab_taskflows/mcp_servers/                                 │
│   ├ fuzz_context.py    persistence (SQLite via SQLAlchemy)         │
│   └ fuzz_runner.py     subprocess wrappers (AFL, clang, lcov, ...) │
│                                                                    │
│  scripts/fuzzing/dashboard.py                                      │
│   read-only HTML view of fuzz_context.db                           │
└────────────────────────────────────────────────────────────────────┘

Ключевые правила проектирования: