search

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution
http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
GNU General Public License v3.0
776 stars 135 forks source link

Added fopen64 wrapper #3

Closed adrianherrera closed 4 years ago

adrianherrera commented 4 years ago

One of the targets that I tried symcc against compiled fopen into fopen64, which was not wrapped appropriately by the symcc compiler.

Therefore, I've added a fopen64 wrapper.

sebastianpoeplau commented 4 years ago

Cool, thanks!