linux系统安装klee2+llvm9.0(亲测可用)
参考
在安装klee时,有很多坑,导致多次安装不成功,这次安装算比较成功的一次。耗时3.5h。
主要参考这篇完成安装,不过安装过程中有几步有点小错误或者注意的点,在此更正,仅做记录。
第二步安装llvm中
倒数第二个my改为mv
第三步安装求解器Z3
$ wget https://github.com/Z3Prover/z3/archive/z3-4.8.8.zip
$ unzip z3-4.8.8.zip
$ cd z3-4.8.8
$ mkdir build
$ cd build
$ cmake -DC
原创
2020-09-17 13:25:30 ·
533 阅读 ·
0 评论