作者:单征; 王洋; 孟曦; 闫丽景行为建模函数调用图上下文敏感性过程间分析
摘要:上下文敏感性是程序分析中的一个重要属性,可用来提高函数调用上下文的分析精度,且有利于编译器优化及程序验证.基于Open64开源高性能编译器,实现了一种源代码级上下文敏感性检测算法.通过给出上下文敏感性的分析结果,指导有源代码的建模采用何种上下文敏感性模型,使建立的模型的准确性更高.在基准测试集SPEC2006和NPB3.3.1的实验结果表明,该算法可有效检测源代码级的上下文敏感性,为相关的软件建模工作提供了理论借鉴.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社