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
773 stars 135 forks source link

added fseeko and rewind models #41

Closed borzacchiello closed 3 years ago

borzacchiello commented 3 years ago

Hi! This is related to #40. I added the rewind and fseeko models. Readelf had a similar issue wrt objdump in #16, but with rewind. To reproduce the issue:

SYMCC_INPUT_FILE=crashing_input readelf -a crashing_input crashing_input.zip

sebastianpoeplau commented 3 years ago

Great, thank you! Rebased manually and merged.