LogoopenSUSE Build Service > Projects
Sign Up | Log In

A symbolic execution engine for the VEX IR

SimuVEX is a simulation engine for VEX IR. Given VEX IRSBs and an initial state (memory and registers), it can carry out static, dynamic, or symbolic analyses.

Source Files

Filename Size Changed Actions
python-simuvex.changes 142 Bytes Download File
python-simuvex.spec 1.81 KB Download File
simuvex- 126 KB Download File

Comments for home:phreeek:angr (0)

Login required, please login or signup in order to comment