
Методы исследования для обратной разработки зашифрованных прошивок и программного обеспечения с помощью анализа при участии ИИ, независимой проверки и ссылок на открытые источники.
Практическое исследовательское руководство по обратной разработке зашифрованных прошивок и программного обеспечения с использованием ИИ для поддержки анализа, экспериментов и проверки.
Центральный вопрос — где защищённый материал становится пригодным для использования и наблюдаема ли эта точка. Восстановление ключа — один из путей. Другие включают поиск эквивалентного артефакта открытого текста, наблюдение за преобразованием, выполнение существующего средства чтения или реконструкцию поведения без восстановления ключа.
Этот репозиторий содержит обзор 31 метода, систему доказательств, примеры из открытых источников и переиспользуемые шаблоны расследований. Он охватывает анализ файлов, инструментирование программного обеспечения, рехостинг, получение аппаратного доступа, побочные каналы и криптографические ограничения. Каждый метод различает предварительные условия, возможные результаты и доказательства, необходимые для обоснования вывода.
Тематические исследования из открытых источников иллюстрируют проектирование зашифрованных образов, прозрачное расшифрование флеш-памяти, сохранение настроек Android и этапы загрузки. Индекс источников содержит ссылки на документацию, реализации и статьи, используемые в руководстве.
| Желаемый результат | Что бы его установило |
|---|---|
| Один артефакт открытого текста | Корректно ограниченная аутентификация или независимое согласование с эталоном при согласованной структуре |
| Переиспользуемый ключ содержимого | Независимо проверенное расшифрование на применимых образцах с определённой областью действия ключа |
| Ключ устройства или корневой ключ | Проверенная идентичность и область действия ключа; одного ключа содержимого или дескриптора ключа недостаточно |
| Объяснение поведения | Конкретные трассировки, поток данных и тесты, охватывающие заявленное поведение |
| Реконструированный исполняемый файл | Корректность формата плюс репрезентативное поведение в документированной среде |
| Модифицированный образ, принятый производителем | Отдельные доказательства для фактической подписи и пути принятия при загрузке |
Первоначальное исследование было разработано в ходе специализированного исследования с поддержкой ИИ и критической проверки, включая вклад Astra, Opus и Fable. Проверки интегрировались выборочно: неподтверждённые интерпретации и дублирующая работа отклонялись. Итоговое руководство делает методологические утверждения и ссылается на публичные источники; оно не заявляет о новом универсальном дешифраторе или о продемонстрированном взломе конкретного устройства.
Публичный репозиторий содержит исследовательские тексты, публичные ссылки, пустые шаблоны и инструмент проверки документации. Бинарные файлы прошивок, приватные дампы трафика, идентификаторы устройств, извлечённые ключи, учётные данные и операционные журналы находятся за пределами области его публикации. Применяйте эти методы только к системам и артефактам, на исследование которых у вас есть разрешение.
Достаточно Python 3.9 или более поздней версии; сторонние пакеты не требуются.
python3 tools/check_docs.py
python3 tools/check_docs.py --self-test
Локальный harness проверяет инвентаризацию файлов, ссылки Markdown, нумерацию методов, индекс источников, записи версий и несколько распространённых шаблонов случайной публикации. Он не исполняет прошивку, не связывается с устройствами, не загружает связанные веб-сайты и не доказывает правильность каждого технического утверждения. Проверка источников остаётся частью исследовательской проверки.
Текущая версия документации: 1.0.0. См. журнал изменений и историю, доступную только для добавления.