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

Inter-procedural analysis method for static program information under LLVM

作　　者：莫培弘 衷璐洁[1] MO Pei-hong, ZHONG Lu-jie(College of Information Engineering, Capital Normal University, Beijing 100048, Chin)

机构地区：[1]首都师范大学信息工程学院,北京100048

出　　处：《计算机工程与设计》2018年第6期1610-1618,共9页Computer Engineering and Design

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

摘　　要：为有效解决静态程序分析中函数指针指向信息获取不够准确和库函数调用信息处理不够完善的问题,提出一种在LLVM平台下静态程序信息的过程间分析方法。利用过程内分析算法迭代获取过程内分析路径;利用过程间分析算法分析直接函数调用和函数指针,通过函数类型识别库函数调用,分析到函数指针时,进一步分析函数指针指向的真实信息,结合过程内分析形成最终的函数调用路径。用该方法解决上述问题,将实验结果与现有工具对比,验证了该方法能够更准确地获取函数指针指向信息并更好地处理库函数调用信息。The function pointer pointing to information is not accurate enough and library function calling information processing needs to be improved in the static program analysis.To solve the problem,an inter-procedural analysis method of the static program information under the LLVM（low level virtual machine）platform was proposed.The intra-procedural analysis algorithm was used to iterate the analysis path and inter-procedural analysis algorithm was used to analyze the direct function calls and the function pointer.Through the function type,the library function calls were identified.When analyzing the function pointer,the real information that the function pointer pointed to were analyzed.Combined with the intra-procedural analysis,the final function call path was formed.This method was used to solve the above problems,its results were compared to that of existing tools.Comparing results indicate that the proposed method more accurately obtains the function pointer to point to the information and better processes the library function calls.

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

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]