这是SVF的新版本,具有改进的内部设计以支持单元测试等功能。 建筑SVF 在Ubuntu 20.04上,使用以下命令: cd < somewhere> git clone https://github.com/benquike/SVF git submodule init ; git submodule update cd SVF mkdir build cd build_debug CC=clang-10 CXX=clang++-10 LLVM_DIR=/usr/lib/llvm-10 cmake \ -DCMAKE_BUILD_TYPE=Debug -DCMAKE_EXPORT_COMPILE_COMMANDS=On .. 要使用发布类型进行构建,请传递-DCMAKE_BUILD_TYPE=Release 。 要使用ASAN进行构建,请使用以下CMake命令: CC=clang-