search

angr / simuvex

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

Disable memory inspect and actions support for libc initialization code. #129

Closed ltfish closed 7 years ago