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

symCC not working against sample.cpp #25

Closed straightblast closed 3 years ago

straightblast commented 3 years ago

Hi,

So i successfully built symcc and sym++ using llvm-8. I use the instructions from docker file to and manually compiled each piece. Everything appears to be compiled successfully.

When I tried to play with the sample.cpp, i followed the instruction and did "sym++ sample.cpp -o sample" I ran the sample binary as follows: "echo 'aaaa' | ./sample" I got the following stdout:

This is SymCC running with the QSYM backend Performing fully concrete execution (i.e., without symbolic input) What's your name? Hello, aaaa! root@symcc:/opt# ls -al /tmp/output/ total 8 drwxr-xr-x 2 root root 4096 Sep 27 12:54 . drwxrwxrwt 1 root root 4096 Sep 27 12:54 ..

According to the main github page for this project. There should be something in the /tmp/output folder, but I did not see anything after executing the sample binary.

Any suggestions?

Thank you.

sebastianpoeplau commented 3 years ago

There should be indeed :) Let me check...

sebastianpoeplau commented 3 years ago

@straightblast could you give me some more information on your setup? Which Linux distribution are you using? Maybe I can reproduce the problem with a container or VM of the same distribution. I just fixed the Docker container (#22) and the sample works, but the container is now using LLVM 10...

straightblast commented 3 years ago

I am using ubuntu latest. I pretty much follow the setup and software version used from the Dockerfile, but setup/install things manually as the Dockerfile didn't work.

I will give the updated Dockerfile a try and let you know if things are not working.

Thanks!