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
771 stars 137 forks source link

Intercept bcmp and friends #123

Closed sebastianpoeplau closed 1 year ago

sebastianpoeplau commented 1 year ago

The pipeline is failing because FileCheck in LLVM 10, which we use to run the tests, doesn't know the option --allow-unused-prefixes yet. I guess I'm going to update the pipeline to use a more recent LLVM; maybe we can get rid of the indirection through Docker at the same time.

sebastianpoeplau commented 1 year ago

I ended up choosing a different approach that lets us stay compatible with older LLVM versions. We now add --allow-unused-prefixes to the FileCheck command line only if the version of LLVM that we're using requires it.