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

added a dockerfile that builds on arm #60

Open chadbrewbaker opened 3 years ago

chadbrewbaker commented 3 years ago

I created a docker file that builds on arm.

aurelf commented 3 years ago

Hi @chadbrewbaker, thanks for your PR! Really appreciated!

I have a few questions:

chadbrewbaker commented 3 years ago

I wrote/executed it on my aarch64 mac M1 with the latest docker and symcc. It built the sample C++ program and emitted about 8 traces, one of which found the flag - "root" was it?

Sure, I can look at detecting the architecture and merging the two Docker files. llvm-10 toolchain worked fine.

sebastianpoeplau commented 1 year ago

It would be great to make sure that Mac users can build the Docker image, but I agree with @aurelf that we should try to make our existing Dockerfile compatible with AArch64 Macs instead of adding another one. Sadly, I don't have a device to test on, and GitHub doesn't seem to provide hosted AArch64 CI runners yet.

Let's see if we can find any volunteers to test on a Mac. Otherwise, I'm going to close the PR in a couple weeks or so.