Открытые сканеры keras-model-scan и pickle-model-scan проверяют модели без их загрузки

Munim выпустила набор бесплатных статических сканеров под лицензией MIT для файлов ML-моделей: .keras, .h5, .pkl, .joblib, .pt/.pth/.bin и object-dtype .npy/.npz. Инструменты читают только байты, не загружая и не исполняя модель, и находят опасные импорты в pickle, обходы allowlist и Zip Slip.

• Сканеры не загружают, не импортируют и не распаковывают файлы — только читают байты
• pickle-model-scan ловит os.system с REDUCE как CRITICAL и обход STACK_GLOBAL (CVE-2025-71325)
• Есть JSON и SARIF-вывод, GitHub Action и флаг --fail-on для CI
• Нужен только Python 3.8+; lz4- и zstd-контейнеры помечаются как непроверенные