search

sdasgup3 / validating-binary-decompilation

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

Prune out spurious df edges of the dfg of the binary #6

Closed sdasgup3 closed 5 years ago

sdasgup3 commented 5 years ago

https://github.com/sdasgup3/validating-binary-decompilation/wiki/Graph-Matching#task-3-prune-out-spurious-df-edges-of-the-dfg-of-the-binary-issue3