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

How do I run benchmark #95

Closed liushengahn closed 2 years ago

liushengahn commented 2 years ago

hello， I am a beginner learning SymCC. I have prepared everything I need to run the benchmark(https://github.com/CyberGrandChallenge/samples) mentioned in the paper, but I failed. I don't know how to start. I don't know how to run programs in CGC by SymCC. Could you help me ? Thank you. Looking forward to your reply.

liushengahn commented 2 years ago

Please forgive me if the question is not suitable enough to ask.

aurelf commented 2 years ago

Hi, did you look here ? There is some information about the benchmarks: https://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html

aurelf commented 2 years ago

Also check docs and in particular docs/Experiments.txt. Please reopen the bug if you don't find suitable information there.

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.