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

Make symcc work with llvm 17 #149

Closed tokatoka closed 7 months ago

tokatoka commented 8 months ago

llvm/Transforms/IPO/PassManagerBuilder.h doesn't exist on llvm 17

aurelf commented 7 months ago

Thanks for the PR, I added some CI tests for LLVM 16 and 17. I think there is something else to be done for the QSym backend (on LLVM 17)...

tokatoka commented 7 months ago

I made the necessary change here https://github.com/eurecom-s3/qsym/pull/1

tokatoka commented 7 months ago

this guy is not working https://github.com/eurecom-s3/qsym/pull/1. I'll check

tokatoka commented 7 months ago

i don't get why this breaks even for llvm 11, 12, 13, 14, 15 where i changed nothing.

tokatoka commented 7 months ago

I found out why I need to add my change to symcc branch of eurecom-s3/qsym

https://github.com/eurecom-s3/qsym/pull/3

then i'll update the submodule to symcc

aurelf commented 7 months ago

Indeed, that was the wrong branch, got confused too... Thanks !

tokatoka commented 7 months ago

sry i forgot to add ifdef https://github.com/eurecom-s3/qsym/pull/4

tokatoka commented 7 months ago

looks good now

aurelf commented 7 months ago

Excellent, thank you!