symbolic-binary-analysis

Status do projeto: Desconhecido

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

Software ou hardware estudado: Unknown
Tipo de trabalho: Engenharia reversa e documentação
Repositório público principal: github.com/ashraf-maryam/symbolic-binary-analysis

Os projetos são ordenados pela última contagem de estrelas registrada. Estrelas indicam interesse, não progresso. Contagens indisponíveis permanecem desconhecidas.

Descrição e escopo

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

Aceitação de contribuições

Política de contribuição desconhecida

Política de contribuições com auxílio de IA: Não informada

Sistemas documentados para contribuir

Ambiente de contribuição não documentado

Progresso informado

Progresso não informado

Código-fonte, compilações e versões

Abrir repositório · github.comgithub.com/ashraf-maryam/symbolic-binary-analysis