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
781 stars 137 forks source link

how to build the 32-bit version of symcc #97

Closed liushengahn closed 2 years ago

liushengahn commented 2 years ago

hi, I built 32-bit versions of SymCC based on your tips, but I ran into some problems. I have built the 32-bit version of Z3, but I am not sure how to build the 32-bit version of LLVM. It looks simple in the document, but I don't know how to do it. https://github.com/eurecom-s3/symcc/blob/master/docs/32-bit.txt 1642073105(1) Thank you very much for your help.

Originally posted by @liushengahn in https://github.com/eurecom-s3/symcc/issues/95#issuecomment-1012047860

liushengahn commented 2 years ago

I choose to use a 32-bit OS to avoid cross-compiling