symbolic-binary-analysis

Stato del progetto: Sconosciuto

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

Software o hardware oggetto del progetto: Unknown
Tipo di lavoro: Reverse engineering e documentazione
Repository pubblico principale: github.com/ashraf-maryam/symbolic-binary-analysis

I progetti sono ordinati per l’ultimo numero di stelle rilevato nel repository. Le stelle indicano interesse, non avanzamento. I valori mancanti restano sconosciuti.

Descrizione e ambito

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

Disponibilità ad accettare contributi

Regole sui contributi sconosciute

Regole sui contributi assistiti dall'IA: Non specificato

Sistemi documentati per contribuire

Ambiente di contribuzione non documentato

Avanzamento dichiarato

Avanzamento non dichiarato

Fonti, compilazione e release

Apri il repository · github.comgithub.com/ashraf-maryam/symbolic-binary-analysis