[发明专利]源代码级的上下文敏感性检测方法

摘要

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

主权项

一种源代码级的上下文敏感性检测方法，其特征是：对源程序中函数调用的上下文敏感性进行统计，通过遍历函数调用图对每一个函数结点的调用和被调用关系进行梳理，统计出调用图深度、调用点个数、上下文不敏感调用点个数、不敏感率这些信息，用以判断函数被调用的情况，以便进行精确的软件行为建模；如果一个函数在不同位置被不同调用多次，那么这个函数就是上下文不敏感的；函数调用图为过程间分析获取到的；采用所述遍历的方法对函数调用图进行分析的具体方法如下：首先，获得结点main的相关信息，结点main为程序的入口点，结点main没有父结点，检测到main函数的调用深度为1，main函数中调用了子函数，按照遍历的方法获得深度为2的子函数结点，对于获得到的每个结点，在敏感性信息统计结构体和调用点结构体中记录函数的相关信息；接着，对深度为2的子函数按照同样的遍历方法进行遍历获得到深度为3的被调用子函数结点的信息，此时，有些深度为3的子函数在函数main和深度为2的子函数中都被调用，就会在上下文敏感信息结构体统计信息中加入该不敏感函数调用点，即深度为3的子函数，不敏感调用点个数增加1，即总的不敏感调用点个数增加1；按照相同的方法遍历剩余的子函数，从而获得上下文敏感性相关的信息。