smack-wllvm SMACK's wrapper to WLLVM (https://github.com/travitch/whole-program-llvm) that adds SMACK-specific flags.