swap detectorのダウンロード-Swap 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ソース

はじめる

Clangを構築するためのセットアップ

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

LITをインストールします。オプションですが、テストを実行できるようにする必要があります。

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という名前のサンプルデータベースがあり、ライブラリの動作を探索するために使用できます。このデータベースは完全ではありません（10個の関数のみをカバーします）が、カバーする機能に関する統計的に有用な情報が含まれています。

構成オプション

オプション	説明
`SWAPPED_ARGS_BUILD_CLANG_PLUGIN`	Clangプラグインの構築を可能にします。デフォルト：オン
`SWAPPED_ARGS_BUILD_TESTS`	構築テストを有効にします。デフォルト：オン
`SWAPPED_ARGS_BUILD_PYTHON`	Python拡張機能の構築を可能にします。デフォルト：オフ
`SWAPPED_ARGS_INSTALL_PYTHON`	Python拡張機能が構築されている場合は、Python拡張機能をインストールできます。デフォルト：オフ

自動ダウンロード

Cmake構成の一部として、GoogleTestの最新のマスターブランチがダウンロードされ、テスト機能が有効になっている場合は構築されます。

テスト

C ++ユニットテストを実行するには、CMAKEプロジェクトを構成するときにSWAPPED_ARGS_BUILD_TESTSが無効になっていないことを確認してください。 TestSwappedArgsCpp実行可能ファイルは、成功したビルドで生成され、単体テストを実行するために実行できます。

Clangプラグインテストを実行するには、 cmake --build . --target check-all - cmakeビルドディレクトリからのcmake --build . --target check-all 。