Сценарий 02: Аудит безопасности

# Выберите сценарий аудита безопасности
/select 02

Запрос пользователя
    |
    v
SecurityIntentDetector → классификация интента (12 типов)
    |
    v
security_registry → маршрутизация к обработчику по приоритету
    |
    +-- [4]  EntryPointsHandler      → обнаружение поверхности атаки
    +-- [5]  TaintSourcesHandler     → справочник источников/приёмников
    +-- [10] VulnerabilityScanHandler → сканирование по шаблонам
    +-- [20] TaintAnalysisHandler    → глубокая трассировка потоков данных
    +-- [25] NullCheckHandler        → разыменование нулевых указателей
    +-- [26] InfoDisclosureHandler   → утечки информации
    +-- [27] MemoryLifetimeHandler   → use-after-free, double-free
    +-- [28] RaceConditionHandler    → проблемы параллелизма
    +-- [29] WeakCryptoHandler       → слабые ГПСЧ/энтропия
    +-- [30] DoSHandler              → исчерпание ресурсов
    +-- [--] AutofixHandler          → генерация исправлений (отдельно)

> Найти уязвимости к SQL-инъекциям

╭─────────────── Результаты анализа безопасности ─────────────╮
│                                                              │
│  КРИТИЧЕСКАЯ: SQL-инъекция                                   │
│                                                              │
│     Расположение: src/pl/plpgsql/src/pl_exec.c:4567         │
│     Шаблон: Динамический запрос с конкатенацией строк        │
│     Код:                                                     │
│       snprintf(query, "SELECT * FROM %s", table_name);       │
│                                                              │
│     Риск: Контролируемое пользователем имя таблицы           │
│           может привести к внедрению SQL-кода                │
│     Исправление: Используйте quote_identifier()             │
│     CWE: CWE-89                                              │
│                                                              │
│  Всего: 7 критических, 12 высоких, 34 средних               │
│                                                              │
╰──────────────────────────────────────────────────────────────╯

> Найти риски переполнения буфера в строковых функциях
> Показать функции, использующие sprintf без проверки границ

> Найти все внешние точки входа

╭─────────────── Точки входа ──────────────────────────────╮
│                                                           │
│  Сетевые точки входа:                                     │
│    - pq_getmsgstring()     - Чтение строки от клиента     │
│    - pq_getmsgint()        - Чтение целого числа          │
│    - ProcessClientRead()   - Прямое чтение из сокета      │
│                                                           │
│  SQL точки входа:                                         │
│    - exec_simple_query()   - Прямое выполнение SQL        │
│    - exec_parse_message()  - Подготовленный запрос        │
│    - exec_bind_message()   - Привязка параметров          │
│                                                           │
│  Файловые точки входа:                                    │
│    - pg_read_file()        - Чтение произвольного файла   │
│    - pg_ls_dir()           - Просмотр каталога            │
│                                                           │
│  Всего: обнаружено 47 точек входа                         │
│                                                           │
╰───────────────────────────────────────────────────────────╯

> Отследить поток данных от PQgetvalue до выполнения SQL

╭─────────────── Поток данных ─────────────────────────────╮
│                                                           │
│  ИСТОЧНИК: PQgetvalue() [Ввод от клиента]                 │
│      ↓                                                    │
│  pq_getmsgstring()                                        │
│      ↓                                                    │
│  exec_simple_query()                                      │
│      ↓                                                    │
│  pg_parse_query()                                         │
│      ↓                                                    │
│  ПРИЁМНИК: SPI_execute() [Выполнение SQL]                 │
│                                                           │
│  Уровень риска: ВЫСОКИЙ                                   │
│  Рекомендация: Добавить валидацию на точке входа          │
│                                                           │
╰───────────────────────────────────────────────────────────╯

> Запустить проверку соответствия D3FEND

╭─────────────── Отчёт о соответствии D3FEND ──────────────────╮
│                                                               │
│  Общий балл соответствия: 72,5%                               │
│                                                               │
│  Проблемы по техникам:                                        │
│                                                               │
│  D3-VI (Инициализация переменных): 23 проблемы                │
│  D3-TL (Доверенные библиотеки): 12 проблем                    │
│  D3-NPC (Проверка нулевого указателя): 8 проблем              │
│  D3-RN (Обнуление ссылок): 6 проблем                          │
│                                                               │
│  Баллы по категориям:                                         │
│    Инициализация: 65%                                         │
│    Безопасность памяти: 78%                                   │
│    Безопасность указателей: 82%                               │
│    Безопасность библиотек: 58%                                │
│                                                               │
╰───────────────────────────────────────────────────────────────╯

> Проверить использование небезопасных функций (D3-TL)

╭─────────────── D3-TL: Доверенные библиотеки ─────────────────╮
│                                                               │
│  КРИТИЧЕСКИЙ — strcpy (риск переполнения буфера):             │
│    src/backend/utils/adt/varlena.c:234                        │
│    src/backend/libpq/pqformat.c:567                           │
│                                                               │
│  КРИТИЧЕСКИЙ — sprintf (риск форматной строки):               │
│    src/backend/libpq/auth.c:567                               │
│                                                               │
│  Рекомендации:                                                │
│    - strcpy → strncpy/strlcpy                                 │
│    - sprintf → snprintf                                       │
│                                                               │
╰───────────────────────────────────────────────────────────────╯

> Найти уязвимости нулевых указателей (D3-NPC)

╭─────────────── D3-NPC: Проверка нулевого указателя ──────────╮
│                                                               │
│  Отсутствующие проверки на NULL после выделения: 23           │
│                                                               │
│  malloc без проверки:                                         │
│    src/backend/utils/mmgr/aset.c:345                          │
│      char *buf = malloc(size);                                │
│      use(buf);  // ← Нет проверки на NULL!                    │
│                                                               │
│  Пример исправления:                                          │
│    char *buf = malloc(size);                                  │
│    if (buf == NULL) {                                         │
│        ereport(ERROR, (errcode(ERRCODE_OUT_OF_MEMORY)));      │
│    }                                                          │
│                                                               │
╰───────────────────────────────────────────────────────────────╯

# Переключиться на проект Django
/project switch my_django_app

# Запустить проверку безопасности
> Найти уязвимости к SQL-инъекциям в обработчиках
> Проверить шаблоны на наличие XSS
> Найти точки входа без защиты CSRF

> Найти уязвимости к загрязнению прототипа
> Проверить использование innerHTML на предмет XSS
> Найти вызовы eval() с пользовательским вводом

> Найти гонки данных в goroutines
> Проверить запросы к базе данных на наличие SQL-инъекций
> Найти небезопасные конфигурации TLS

| Категория OWASP                     | Статус | Находки |
|--------------------------------------|--------|---------|
| A01 Нарушение контроля доступа       | PASS   | 0       |
| A02 Криптографические ошибки         | FAIL   | 2       |
| A03 Инъекции                         | FAIL   | 5       |
| A04 Небезопасная архитектура         | PASS   | 0       |
| A05 Неправильная конфигурация        | WARN   | 1       |
| ...                                  | ...    | ...     |

graph LR
    src["user_input()"]:::source --> proc["process_data()"]
    proc --> sink["exec_sql()"]:::sink
    classDef source fill:#f90,stroke:#333
    classDef sink fill:#f33,stroke:#333
    classDef sanitizer fill:#3c3,stroke:#333

# CLI: аудит с предложениями автоисправлений
python -m src.cli audit --db data/projects/postgres.duckdb --autofix

# MCP: генерация исправления для конкретного метода
codegraph_autofix(method_name="process_query", cwe="CWE-89")

# Полный отчёт безопасности (автоопределение языка)
python -m src.cli.security_audit full \
  --path /путь/к/проекту \
  --output ./security_reports

# Явное указание языка
python -m src.cli.security_audit full \
  --path /путь/к/проекту \
  --language python \
  --output ./security_reports

# Доступные языки: auto, c, cpp, python, javascript, typescript,
#                  go, csharp, kotlin, java, php, onec

# Анализ безопасности по запросу
python -m src.cli query "Найти уязвимости к SQL-инъекциям"

# Трассировка инцидента безопасности
python -m src.cli security incident "скомпрометированная функция" --db PATH