search

angr / simuvex

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

Inspect: take stmt.delta into consideration for instruction addresses… #140

Closed ltfish closed 7 years ago

ltfish commented 7 years ago

… passed to SimInspector.

zardus commented 7 years ago

Oops, for some reason I thought you assigned this to me!