DecompHub

symbolic-binary-analysis

Project status: Unknown

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

Target software or hardware
Unknown
Work type
Reverse engineering and documentation
Primary public repository
github.com/ashraf-maryam/symbolic-binary-analysis
GitHub
0GitHub stars

Projects are sorted by the latest recorded repository star count. Stars indicate interest, not completion. Missing counts remain unknown.

About and scope

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

Contribution availability

Contribution policy unknown

AI-assisted contribution policy
Unspecified

Documented contributor systems

Contributor setup not documented

Reported progress

Progress not reported

Sources, builds and releases