初识C/CPP 下的BMC

常用的一些工具

• cbmc https://github.com/diffblue/cbmc
• esbmc https://github.com/esbmc/esbmc
• cpachecker https://github.com/sosy-lab/cpachecker
• smack https://github.com/smackers/smack

使用情况

目前需要对多个文件合并跑BMC，可能使用goto-cc或者smack的llvm字节码直接跑，还需要常识