search

angr / simuvex

[DEPRECATED] A symbolic execution engine for the VEX IR
BSD 2-Clause "Simplified" License
79 stars 57 forks source link

Support per-block VEX optimization level #60

Open ltfish opened 7 years ago

ltfish commented 7 years ago

Currently IR optimization level (iropt_level) is a global setting. We should expose it as a per-block setting and we can pass the optimization level to pyvex.lift() as we wish.