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)