论文研究一种源码级的上下文敏感性检测算法.pdf

上下文敏感性是程序分析中的一个重要属性，可用来提高函数调用上下文的分析精度，且有利于编译器优化及程序验证。基于Open64开源高性能编译器，实现了一种源代码级上下文敏感性检测算法。通过给出上下文敏感性的分析结果，指导有源代码的建模采用何种上下文敏感性模型，使建立的模型的准确性更高。在基准测试集SPEC2006和NPB3.3.1的实验结果表明，该算法可有效检测源代码级的上下文敏感性，为相关的软件建模工作提供了理论借鉴。