angr / simuvex

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

Copying mmap_base in libc #121

Closed bannsec closed 7 years ago

bannsec commented 7 years ago

This was a bit of a PITA to find. Execution wasn't working quite right because every time state split we'd lose track of the mmap_base address.

ltfish commented 7 years ago

Good finding!

zardus commented 7 years ago

Thanks! Sorry it took so long to get to; crazy couple of weeks.