LLVM中静态程序信息的过程间分析方法

摘要：

为有效解决静态程序分析中函数指针指向信息获取不够准确和库函数调用信息处理不够完善的问题,提出一种在LLVM平台下静态程序信息的过程间分析方法.利用过程内分析算法迭代获取过程内分析路径;利用过程间分析算法分析直接函数调用和函数指针,通过函数类型识别库函数调用,分析到函数指针时,进一步分析函数指针指向的真实信息,结合过程内分析形成最终的函数调用路径.用该方法解决上述问题,将实验结果与现有工具对比,验证了该方法能够更准确地获取函数指针指向信息并更好地处理库函数调用信息.

关键词：底层虚拟机、静态分析、过程间、过程内、函数指针

所属期刊栏目：39

分类号：TP314(计算技术、计算机技术)

资助基金：国家自然科学基金项目61402303;北京市教委科技面上基金项目KM201510028016

在线出版日期：2018-07-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1610-1618