SUPA のソース コードが SVF にマージされました。
ソースコードSVFをダウンロード
https://github.com/svf-tools/SVF/wiki/Setup-Guide#getting-started に従って SVF をビルドします。
実行可能ファイルbin/dvfを使用して SUPA を実行する
dvf -dfs -query=all -flowbg=10000 example.bc
dvf -cxt -query=funptr -maxcxt=3 -flowbg=10000 -cxtbg=10000 example.bc
| オプション | 説明 |
|---|---|
| -クエリ | 需要主導型分析用の一連のクエリを指定します) |
| -dfs | 流れとフィールドに敏感な分析 |
| -cxt | コンテキスト、フロー、およびフィールドに応じた分析 |
| -flowbg | フローに依存した分析予算 (バリューフローエッジトラバーサルの数) |
| -cxtbg | コンテキスト依存の分析予算 (バリューフローエッジトラバーサルの数) |
| -maxcxt | k 制限のコンテキスト依存性 |
| -stat | 統計を印刷する |
| -print-query-pts | ポイント先を印刷する |
ユレイ・スイとジンリン・シュエ。バリューフロー改良によるオンデマンドの強力な更新分析 ACM SIGSOFT ソフトウェアエンジニアリングの基礎に関する国際シンポジウム (FSE '16)
ユレイ・スイとジンリン・シュエ。 Value-Flow-Based Demand-Driven Pointer Analysis for C and C++ 、IEEE Transactions on Software Engineering (TSE'18)
