SVF-LLVM指针分析框架

本文解析SVF的代码框架。

SVF

SVF是一个C++指针分析框架。

Whole Program Analysis

• 构建了LLVMModuleSet，包含了一系列Module，以及函数集合等。
• 构建SVFIR：
  • 处理外部函数节点，全局变量节点
  • 转换类型：LLVM的类型被转换为了SVFType。
  • 构建SVFIRCallGraph
  • 处理不同的指令