Try Autotuner - Githubissues

sdasgup3 / validating-binary-decompilation

Scalable Validator for Binary Lifters

Other

54 stars 8 forks source link

Try Autotuner #23

Closed sdasgup3 closed 4 years ago

sdasgup3 commented 4 years ago

Most of the matcher false positives are because the optimization sequence is not sufficient enough to normalize the candidate LLVM programs to syntactic equality. Adding more passes or changing the order of passes help remove the false alarms. Then why not to try out an autotuner (like open tuner) for the purpose.

[x] Search for a goal; which in our case is all nodes have an initial match. Stop once achieved.
[x] How to select configs with duplicates: the passes could be repeated.

sdasgup3 commented 4 years ago

How to select configs with duplicates: the passes could be repeated. Create a search space using the auto-tuning opt sequences obtained from other matcher-passing cases.