一种源码级的上下文敏感性检测算法  

Source code level context sensitivity exploration algorithm

作　　者：单征 王洋 孟曦 闫丽景 

机构地区：[1]数学工程与先进计算国家重点实验室,郑州450002

出　　处：《计算机应用研究》2017年第5期1388-1392,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(61472447)

摘　　要：上下文敏感性是程序分析中的一个重要属性,可用来提高函数调用上下文的分析精度,且有利于编译器优化及程序验证。基于Open64开源高性能编译器,实现了一种源代码级上下文敏感性检测算法。通过给出上下文敏感性的分析结果,指导有源代码的建模采用何种上下文敏感性模型,使建立的模型的准确性更高。在基准测试集SPEC2006和NPB 3.3.1的实验结果表明,该算法可有效检测源代码级的上下文敏感性,为相关的软件建模工作提供了理论借鉴。Context sensitivity is an important property in program analysis. It can be used to improve analysis precision with respect to function call context and is benefit for compiler optimization and program verification. This paper proposed a context sensitivity analysis algorithm,which was implemented on Open 64 open source high performance compiler. The algorithm gave the context sensitivity analysis results,to guide modeling using which kind of context sensitive model,so achieved a higher accuracy of the established model. In the benchmark set SPEC2006 and NPB 3. 3. 1,the results show that the algorithm can detect the contextsensitivity of source code level effectively and provide a theoretical reference for relevant software modeling.

关 键 词：行为建模 函数调用图 上下文敏感性 过程间分析 

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