angr / simuvex

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

malloc and calloc using bytes, not bits #83

Closed schieb closed 7 years ago

schieb commented 7 years ago

The heap should be allocated based on number of bytes since that is how it is addressed.

rhelmot commented 7 years ago

This is a bug, but that's not the correct fix. Note that final_size is used as the second argument to the BVV constructor.

schieb commented 7 years ago

Yikes, nice catch!