symbolic-binary-analysis

Stan projektu: Nieznany

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

Badane oprogramowanie lub sprzęt: Unknown
Rodzaj prac: Inżynieria wsteczna i dokumentacja
Główne publiczne repozytorium: github.com/ashraf-maryam/symbolic-binary-analysis

Projekty są sortowane według ostatniej zapisanej liczby gwiazdek repozytorium. Gwiazdki oznaczają zainteresowanie, a nie postęp prac. Brakujące wartości pozostają nieznane.

Opis i zakres prac

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

Możliwość współpracy

Zasady współpracy nieznane

Zasady korzystania z AI: Nie określono

Systemy współtwórców według dokumentacji

Brak dokumentacji środowiska współtwórcy

Podany postęp

Nie podano postępu

Kod źródłowy, budowanie i wydania

Otwórz repozytorium · github.comgithub.com/ashraf-maryam/symbolic-binary-analysis