can i use simuvex to simplify the statements sets generated from pyvex about simuvex

[zardus]

There are two ways:

1. Add the simuvex.options.OPTIMIZE_IR option to the state with state.options.add(simuvex.options.OPTIMIZE_IR), then when that state is stepped forward, angr will have VEX optimize the IR.
2. After stepping your path forward, use path.state.se.simplify(), after which path.state.se.constraints will be the simplified constraints that you're looking for.

The two work on different levels, and it's probably best to use both.

[zardus]

You can use state.se.simplify() to simplify the state constraints. It should be able to reduce trivial cases like that.

[yangshouguo]

can you give a simple case to simplify the statements from pyvex? i am a fresh programer. I can't figure out how To use state.se.simplify. 发自我的 iPhone

…

在 2017年3月21日，下午3:28，Yan ***@***.***> 写道： You can use state.se.simplify() to simplify the state constraints. It should be able to reduce trivial cases like that. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.

[rhelmot]

this was resolved via email