swap detector下载 - swap detector源代码下载

swap detector

其他类别

1.0.0

下载

交换检测器

模块检查功能调用中交换参数的模块。例如，该库可用于检测代码中的互换：

 /* Apparent swap of 'e' and 'n' based on parameter names. */
RSA_get0_key ( rkey , & e , & n , NULL );

先决条件

Cmake 3.10
GCC 7或Visual Studio 2017
如果启用clang插件支持：clang 10源

入门

建筑叮当的设置

查看Git的Clang。

git clone https://github.com/llvm/llvm-project.git
git checkout llvmorg-10.0.0

构建并安装LLVM。

mkdir llvm-build ; pushd llvm-build
cmake -G Ninja -DCMAKE_BUILD_TYPE=RelWithDebInfo -DLLVM_ENABLE_ASSERTIONS=1 -DLLVM_TARGETS_TO_BUILD=X86 -DLLVM_INSTALL_UTILS=1 -DLLVM_ENABLE_PROJECTS=clang -DLLVM_TOOL_CLANG_BUILD=1 -DCMAKE_INSTALL_PREFIX= $PWD /../llvm-install ../llvm-src
cmake --build . --target check-clang
cmake --build . --target install
popd

安装点亮。可选，但需要能够运行测试。

pip install --user lit
export PATH= $PATH : $HOME /.local/bin

使用cmake构建插件

mkdir build ; cd build
cmake -G Ninja -DLLVM_EXTERNAL_LIT= $( which lit ) -DSWAPPED_ARGS_BUILD_CLANG_PLUGIN=ON -DCMAKE_PREFIX_PATH= $PWD /../../llvm-install/lib/cmake ~ /path/to/swap-detector
cmake --build . --target check-all

笔记

如果您没有安装忍者，则可以使用-G "Unix Makefiles"来生成makefiles并使用make -j构建。

有一个有关使用tmpnam的链接器警告。该API仅由测试基础架构用于生成临时统计数据库，并且不被用作交换参数检查器API的一部分。

例子

../../llvm-install/bin/scan-build -load-plugin lib/SwapDetectorPlugin.so -enable-checker gt.SwapDetector -analyzer-config gt.SwapDetector:ModelPath=sample.db clang++ ~ /dummy.cpp

存储库的根目录具有一个示例数据库，名为sample.db ，可用于探索库的行为。该数据库不完整（仅涵盖十个功能），但确实包含有关其涵盖功能的统计上有用的信息。

配置选项

选项	描述
`SWAPPED_ARGS_BUILD_CLANG_PLUGIN`	启用构建Clang插件。默认值：打开
`SWAPPED_ARGS_BUILD_TESTS`	启用建筑测试。默认值：打开
`SWAPPED_ARGS_BUILD_PYTHON`	启用构建Python扩展。默认值：关闭
`SWAPPED_ARGS_INSTALL_PYTHON`	如果构建了Python扩展，则可以安装Python扩展程序。默认值：关闭