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

Export of runtime in a separate repository #162

Closed rmalmain closed 2 months ago

rmalmain commented 3 months ago

We are working on the separation of the runtime subdirectory into a separate repository, symcc-rt.

The idea is to decorrelate the compilation of the runtime part of SymCC from SymCC itself since it is already used in different projects (like SymQEMU). It would make the integration of the runtime in these projects more smooth, especially when interacting with other build systems like meson.

Also, SymCC Runtime can now be compiled statically.

This is a WIP, and any comments are welcome.

There are also minor improvements here and there in the CMakeLists. Notably, the minimum version of cmake is bumped to 3.16.

More details are available in the compagnon PR of symcc-rt. Another compagnon PR for SymQEMU is also available.

For now, there is a problem with the Dockerfile line 107 in case someone wants to check the issue.