SVF学习笔记

环境搭建

编译llvm-16

git clone https://github.com/llvm/llvm-project.git
cd llvm-project
git checkout llvmorg-16.0.6  # 最稳定的 LLVM 16 小版本之一

mkdir build && cd build

cmake -G Ninja ../llvm \
  -DCMAKE_BUILD_TYPE=Release \
  -DLLVM_ENABLE_PROJECTS="clang;lld" \
  -DLLVM_TARGETS_TO_BUILD="X86" \
  -DCMAKE_INSTALL_PREFIX=/opt/llvm16

ninja
ninja install

编译cmake

cmake版本有要求：

编译SVF

https://www.jianshu.com/p/068a08ec749c

cmake -S llvm -B build -G "Ninja" -DLLVM_ENABLE_PROJECTS='clang;lld' -DCMAKE_INSTALL_PREFIX=/home/qym/qym/tools/ -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCMAKE_C_COMPILER="gcc-11" -DCMAKE_CXX_COMPILER="g++-11" -DLLVM_BUILD_LLVM_DYLIB=ON -DLLVM_LINK_LLVM_DYLIB=ON

参考

https://zhuanlan.zhihu.com/p/681560790

https://www.jianshu.com/p/777c30d4240e

https://www.jianshu.com/p/068a08ec749c