SVF

【文件属性】：
文件名称：SVF
文件大小：5.24MB
文件格式：ZIP
更新时间：2021-03-21 15:05:10
C++ 这是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-