search

angr / simuvex

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

Update SimState constructor #146

Closed benquike closed 7 years ago

benquike commented 7 years ago
ltfish commented 7 years ago

Unfortunately we do not take PRs for simuvex anymore, since it will soon cease to exist (see here). Feel free to give us a PR for the same file in angr. You'll want to base it on the wip/the_end_times branch.

zardus commented 7 years ago

Now that simuvex and angr have merged (see https://github.com/angr/angr/issues/349), I'm going through and cleaning out old PRs. Could you submit this PR against angr instead? The way we did the merge (by pulling in the whole simuvex tree), it might be possible to cherry-pick the commit onto angr (or, of course, just remake the changes).

Thanks!