angr / simuvex

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

SimEngine: fix the issue that callbacks cannot be pickled by CPython. #61

Closed ltfish closed 7 years ago

ltfish commented 7 years ago

CPython cannot pickle methods. To address that, we define setstate and getstate methods in SimEngineUnicorn to manually set the _check_failed field.