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

Comments for home:phreeek:angr (0)

Login required, please login or signup in order to comment