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

Config_site issue when using the sample.cpp on Docker #164

Open AndrewQuijano opened 3 months ago

AndrewQuijano commented 3 months ago

Hello, When attempting to run sym++ on the Docker image, I found the following issue shown in the screenshot. After poking around, it looks like there needs to be linking to /libcxx_symcc_install/include/x86_64-unknown-linux-gnu/c++/v1/

I am currently unable to see what to update in symc++ script. Here is documentation as it seems to be an LLVM/Clang issue:

https://github.com/llvm/llvm-project/issues/57104

config_site

aurelf commented 2 months ago

Hi, indeed something broke .

As a workaround, you can compile with either :

This will definitely need a better fix (and some tests to detect those issues).