symbolic-binary-analysis

Состояние проекта: Неизвестно

Reverse engineering and constraint-solving project using Ghidra, Tree-sitter, Python, and Z3.

Исследуемое ПО или оборудование: Unknown
Тип работы: Обратная разработка и документирование
Основной публичный репозиторий: github.com/ashraf-maryam/symbolic-binary-analysis

Проекты отсортированы по последнему зафиксированному числу звёзд репозитория. Звёзды отражают интерес, а не готовность проекта. Отсутствующие значения остаются неизвестными.

О проекте и его задачах

Reverse engineering and constraint-solving project using Ghidra, Tree-sitter, Python, and Z3.

Приём стороннего участия

Правила участия неизвестны

Правила использования ИИ: Не указаны

Системы участников по документации

Окружение участника не описано

Заявленный прогресс

Прогресс не опубликован

Исходники, сборка и релизы

Открыть репозиторий · github.comgithub.com/ashraf-maryam/symbolic-binary-analysis