如何获取一个程序的过程间控制流程图并使用llvm对其进行数据流分析？

Question

在llvm中,我知道已经构造了每个函数的CFG(控制流图),并且CFG由函数的基本块之间的关系表示.BUt我想遍历一个程序的全局CFG,其中包含llvm中的许多函数.如何获得一个程序的过程间CFG,然后对其进行数据流分析？

Answer 1

根据http://clang.llvm.org/doxygen/classclang_1_1CFG.html，clang/LLVM 中的 CFG 仅作为过程内 CFG 存在。

但是，可以对 LLVM IR 代码运行 opt 工具并提取函数的文本 CFG，然后构建专用解析器（例如 FLEX/BISON）以将其交织到一个过程间 CFG 中。