search

angr / simuvex

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

Fix compat bug in concretization_strategies #154

Closed tyb0807 closed 7 years ago

tyb0807 commented 7 years ago

@rhelmot thanks a lot