smackers / smack

SMACK Software Verifier and Verification Toolchain
http://smackers.github.io
Other
432 stars 82 forks source link

Idea: Use smack as a Clang drop-in replacement #731

Closed teaalltr closed 3 years ago

teaalltr commented 3 years ago

It would be nice to have smack as a clang drop-in replacement, so we'd just need to call smack with all the clang arguments plus the args to smack as arguments to the custom llvm pass.

Moreover, this way you could just set the env var CC or CXX and all would compile as usual, plus the memory checks and such.