CLion开发，编译，配置LLVM，SVF，Z3

1. 版本

LLVM 13.0.0
SVF 2.6
Z3 4.8.8

2. 编译LLVM

使用Clion打开llvm_project/llvm目录
cmake 参数

-DLLVM_ENABLE_ASSERTIONS=ON -DLLVM_ENABLE_PROJECTS=clang -DLLVM_TARGETS_TO_BUILD="X86"

构建类型：RelWithDebInfo

3. 安装Z3

下载Z3
https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.8.zip
解压后再创建一个目录叫做z3-build

--z3
  --z3-build
  --z3-z3-4.8.8
    --...
    --...
    --src
    --...

cd z3-build

构建

cmake -DCMAKE_INSTALL_PREFIX=/Users/liture/CLionProjects/SVF-Dev-Env/z3/z3-build -DZ3_BUILD_LIBZ3_SHARED=false ../z3-z3-4.8.8

编译

cmake --build . -j 8

安装

cmake --install .

如果SVF找不到Z3，可以设置一下CMake变量，例如
-DZ3_DIR=/Users/liture/CLionProjects/SVF-Dev-Env/z3/z3-4.8.8-x64-osx-10.14.6

4. 开发SVF

LLVM，Z3都安装好后，我的SVF版本是2.6，打开CLion就可以直接跑了。