symbolic-binary-analysis

Projektstatus: Unbekannt

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

Untersuchte Software oder Hardware: Unknown
Arbeitsansatz: Reverse Engineering und Dokumentation
Öffentliches Hauptrepository: github.com/ashraf-maryam/symbolic-binary-analysis

Projekte werden nach der zuletzt erfassten Anzahl an Repository-Sternen sortiert. Sterne zeigen Interesse, keinen Fortschritt. Fehlende Werte bleiben unbekannt.

Über das Projekt und seinen Umfang

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

Möglichkeiten zur Mitarbeit

Regeln zur Mitarbeit unbekannt

Regeln für KI-unterstützte Beiträge: Nicht angegeben

Dokumentierte Systeme für Mitwirkende

Arbeitsumgebung nicht dokumentiert

Gemeldeter Fortschritt

Kein Fortschritt gemeldet

Quellen, Builds und Veröffentlichungen

Repository öffnen · github.comgithub.com/ashraf-maryam/symbolic-binary-analysis