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 about 2 years ago Download File
python-simuvex.spec 1.81 KB about 2 years ago Download File
simuvex-4.6.3.28.tar.gz 126 KB about 2 years ago Download File

Comments for home:phreeek:angr (0)