search

sdasgup3 / validating-binary-decompilation

Scalable Validator for Binary Lifters
Other
54 stars 8 forks source link

Iterative pruning based matcher #25

Open sdasgup3 opened 4 years ago