How do I run benchmark

Question

How do I run benchmark

liushengahn opened this issue 2 years ago · comments

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.

Liushenghan · Answer 1 · Sat Jan 08 2022 18:57:50 GMT+0800 (China Standard Time)

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

aurelf · Answer 2 · Mon Jan 10 2022 01:16:57 GMT+0800 (China Standard Time)

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

aurelf · Answer 3 · Mon Jan 10 2022 01:20:04 GMT+0800 (China Standard Time)

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

Liushenghan · Answer 4 · Thu Jan 13 2022 19:26:28 GMT+0800 (China Standard Time)

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

Thank you very much for your help.