源代码级的上下文敏感性检测方法

摘要

本发明涉及一种源代码级的上下文敏感性检测方法，该上下文敏感性检测方法具体为：对源程序中函数调用的上下文敏感性进行统计，通过遍历函数调用图对每一个函数结点的调用和被调用关系进行梳理，统计出调用图深度、调用点个数、上下文不敏感调用点个数、不敏感率这些信息，用以判断函数被调用的情况，以便进行精确的软件行为建模；如果一个函数在不同位置被不同调用多次，那么这个函数就是上下文不敏感的；函数调用图为过程间获取到的；本发明的检测方法检测到的上下文敏感性是程序分析的一个重要属性，它可以用来提高函数调用上下文的分析精度，并且有利于编译器优化和程序验证。

主权项

一种源代码级的上下文敏感性检测方法，其特征是：对源程序中函数调用的上下文敏感性进行统计，通过遍历函数调用图对每一个函数结点的调用和被调用关系进行梳理，统计出调用图深度、调用点个数、上下文不敏感调用点个数、不敏感率这些信息，用以判断函数被调用的情况，以便进行精确的软件行为建模；如果一个函数在不同位置被不同调用多次，那么这个函数就是上下文不敏感的；函数调用图为过程间获取到的。