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

Fix binutils compilation failure #13

Closed chenju2k6 closed 4 years ago

chenju2k6 commented 4 years ago

Signed-off-by: Chen Ju chenju2k6@gmail.com

sebastianpoeplau commented 4 years ago

Sorry for the delay!

The logs that you posted in #12 suggest that we're incorrectly trying to extend an 80-bit integer to a 64-bit integer. Making the operation a truncation fixes the bitcode, but I'm not sure it's the right thing to do semantically - I suppose we'd lose information. Maybe we should instead introduce a way to pass big integers to the backend. I'll reproduce the issue locally to have a closer look at the bitcode...