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擴展程序。默認值：關閉