Защитная диагностика asteval Interpreter.eval по ghsa-89v8-rhwq-hf77: применимость, обратимый локальный control, измеримый verdict, stop-rule и минимальный пакет данных для владельца системы.
Короткий ответ — asteval: удержание BaseException внутри evaluator
Задача страницы — проверить, что asteval преобразует запрещённые BaseException в контролируемую ошибку evaluator без выхода процесса. Advisory ghsa-89v8-rhwq-hf77 служит свежим inventory-сигналом, но сама по себе не доказывает состояние конкретной установки. Сначала зафиксируйте фактически загруженный asteval Interpreter.eval, package lock или image digest и границу «asteval: introduced 0, fixed 1.0.9». Затем отделите применимость от результата проверки: версия говорит, какую ветку исследовать, а измеримый control показывает поведение. Пользовательская боль здесь одна: выражение может поднять BaseException-подкласс мимо обработчика Exception и завершить вызывающий процесс. Итогом должен стать таблица exception class / API return / child exit code / cleanup count / stderr class, чтобы другой инженер мог повторить решение без production-данных и без догадок.
Граница применимости для asteval Interpreter.eval
Разберите путь решения как «AST node → interpreter dispatch → throwable classification → result/error channel». Для каждого перехода укажите владельца значения, тип входа, допустимое состояние и запрещённый side effect. Проверяемая инварианта: SystemExit, KeyboardInterrupt и другие запрещённые классы не пересекают API boundary, а cleanup hook выполняется один раз. NOT_APPLICABLE возможен только при доказанном отсутствии компонента или недостижимости указанной ветки; неизвестный digest, effective config или способ вызова дают UNKNOWN. Номер исправленного релиза без runtime readback не превращает результат в PASS. Не объединяйте эту проверку с соседними уязвимостями продукта: здесь оценивается именно описанная граница данных и управления.
Почему обычной проверки версии недостаточно
Lock-файл, SBOM, container digest и вывод package manager отвечают на разные вопросы. Сведите их в одну строку provenance и сопоставьте с advisory-границей «asteval: introduced 0, fixed 1.0.9». После этого проверьте effective путь выполнения, потому что vendored копия, optional dependency, отключённый adapter или отдельный worker способны изменить применимость. Зафиксируйте reason code: AFFECTED_PATH, PATCHED_PATH, COMPONENT_ABSENT либо PROVENANCE_UNKNOWN. Отсутствие инцидента, один успешный HTTP-ответ или активный systemd unit не подтверждают инварианту «SystemExit, KeyboardInterrupt и другие запрещённые классы не пересекают API boundary, а cleanup hook выполняется один раз».
Безопасный локальный control для asteval Interpreter.eval
Работайте только в disposable fixture: в дочернем локальном test process вызвать evaluator на заранее заданных exception fixtures с жёстким timeout без пользовательского кода. Сеть, subprocess, production database, реальные bucket, очереди, почта, токены и пользовательские файлы замените fake, spy или in-memory адаптерами. До запуска сохраните baseline hash, нулевые counters, лимит времени, памяти и числа операций. Используйте короткие синтетические маркеры без эксплуатационного payload. Цель — увидеть ветвление и соблюдение policy, а не усилить воздействие. После каждой строки теста восстанавливайте fixture и убеждайтесь, что следующий benign control начинается с того же baseline.
Матрица наблюдений без субъективного verdict
Сначала benign control доказывает, что тест достиг нужной функции. Затем boundary-case меняет ровно один признак, связанный с болью «выражение может поднять BaseException-подкласс мимо обработчика Exception и завершить вызывающий процесс». Записывайте таблица exception class / API return / child exit code / cleanup count / stderr class, reason code, duration, counters до и после, а также digest fixture. Основная инварианта остаётся: SystemExit, KeyboardInterrupt и другие запрещённые классы не пересекают API boundary, а cleanup hook выполняется один раз. Если control не достигает целевой ветки, точка наблюдения двусмысленна или recorder пропустил side effect, ставьте UNKNOWN. Нельзя добавлять более сильный вход только ради определённого ответа: безопасная воспроизводимость важнее красивого PASS.
PASS, FAIL, UNKNOWN и критерий остановки
PASS требует одновременно подтверждённого provenance, успешного benign control, соблюдения инварианты «SystemExit, KeyboardInterrupt и другие запрещённые классы не пересекают API boundary, а cleanup hook выполняется один раз», нулевых запрещённых side effects и доказанного cleanup. FAIL — тот же подтверждённый путь плюс наблюдаемое нарушение policy. UNKNOWN означает отсутствие digest, effective config, recorder, control либо возможности восстановить fixture. Немедленная красная линия: родитель получил неожиданный signal, cleanup не выполнился или child завершился вне ожидаемого code set. При её достижении прекратите тест, сохраните только минимальные метаданные и не повторяйте boundary-case на более крупном масштабе.
Восстановление и повторный regression check
После control удалите disposable state, верните адаптеры к baseline и сравните hashes, counters и открытые ресурсы. Любой неожиданный I/O, сетевой вызов, процесс, новая строка БД или оставшийся файл блокирует PASS, даже если основной policy вернул ожидаемый код. После обновления компонента повторите тот же fixture без изменения входов и лимитов; сравните таблица exception class / API return / child exit code / cleanup count / stderr class. Так видно, изменился ли именно защищаемый переход «AST node → interpreter dispatch → throwable classification → result/error channel», а не окружение, объём данных или наблюдатель.
Почему это самостоятельный intent и что передать владельцу
Отделяет exception taxonomy и process containment от AST mutation, builtins allowlist и вычислительных лимитов. Поэтому материал отвечает на самостоятельный запрос «проверить, что asteval преобразует запрещённые BaseException в контролируемую ошибку evaluator без выхода процесса» и не создаётся как механическая замена бренда, ОС или устройства. Передайте владельцу ghsa-89v8-rhwq-hf77, component digest, effective version/config, границу «asteval: introduced 0, fixed 1.0.9», схему «AST node → interpreter dispatch → throwable classification → result/error channel», control/boundary rows, таблица exception class / API return / child exit code / cleanup count / stderr class, verdict, stop reason и cleanup proof. Advisory опубликована 2026-08-20 и обновлена 2026-08-20; даты подтверждают свежесть источника, но не популярность запроса, не факт эксплуатации и не применимость к конкретному deployment.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; даты, версии и ссылки сверены по GitHub Advisory Database и первичному upstream-материалу. Текст самостоятельный, не копирует источники, не содержит эксплуатационных последовательностей и предназначен для безопасной локальной проверки.
Источники и проверка
- GitHub Advisory Database — ghsa-89v8-rhwq-hf77 проверено 2026-09-03
- Первичный upstream-материал — asteval Interpreter.eval проверено 2026-09-03
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.