SUPA

SUPA：基於價值流的需求驅動指針分析

SUPA的源代碼現已合併到SVF中。

1. 下載SVF原始碼

2. 依照 https://github.com/svf-tools/SVF/wiki/Setup-Guide#getting-started 建置 SVF

3. 使用可執行檔bin/dvf運行 SUPA

• 3.1 流敏感SUPA（查詢程式中所有指標的指向值）

 dvf -dfs -query=all -flowbg=10000 example.bc

• 3.2 流程和上下文敏感的SUPA（查詢程式中所有函數指標的指向值）

 dvf -cxt -query=funptr -maxcxt=3 -flowbg=10000 -cxtbg=10000 example.bc

選項	描述
-詢問	指定一組用於需求驅動分析的查詢）
-dfs	流場敏感度分析
-cxt	情境、流程和場敏感分析
-flowbg	流敏感分析預算（價值流邊遍歷次數）
-cxtbg	情境相關分析預算（價值流邊遍歷次數）
-maxcxt	k-限制上下文敏感度
-統計	列印統計數據
-列印查詢點	列印指向

參考文獻：

隋玉蕾和薛靜靈。透過價值流細化進行按需強更新分析 ACM SIGSOFT 軟體工程基礎國際研討會 (FSE '16)

隋玉蕾和薛靜靈。基於價值流的 C 和 C++ 需求驅動指標分析，IEEE 軟體工程彙刊 (TSE'18)