[发明专利]一种基于源代码的程序自动插桩方法

权利要求书

1.一种基于源代码的程序自动插桩方法，其特征在于步骤如下：

步骤一：将待插桩C源代码进行宏展开；

步骤二：根据插桩需求明确插桩切入点，为每个插桩切入点编写插桩语法规则；

步骤三：利用语法分析生成器将插桩语法规则转化为插桩程序，运行插桩程序对源代码进行自动插桩，完成源代码的程序自动插桩。

2.根据权利要求1所述的一种基于源代码的程序自动插桩方法，其特征在于：所述步骤一的实现方法为：

(2.1)编写宏展开词法分析规则，生成词法分析器；

(2.2)使用词法分析器，把头文件中定义的宏在源文件中展开。

3.根据权利要求1所述的一种基于源代码的程序自动插桩方法，其特征在于：所述步骤二的实现方法为：

(3.1)根据插桩需求选择覆盖准则，所述覆盖准则为判定覆盖、跳转覆盖或例程覆盖；

(3.2)根据覆盖准则确定插桩切入点位置，具体确定方法如下：

a)如果覆盖准则为判定覆盖，则选择if语句、else if语句、else语句以及case语句开始或结束处作为插桩切入点；

b)如果覆盖准则为跳转覆盖，则插桩切入点在goto语句、continue语句、break语句之前；

c)如果覆盖准则为例程覆盖，则插桩切入点在每个函数的入口和出口处；

(3.3)为每个插桩切入点编写插桩语法规则。

4.根据权利要求3所述的一种基于源代码的程序自动插桩方法，其特征在于：所述步骤(3.3)的实现方法如下：

(4.1)为每行代码编写解析规则，对待插桩C源代码进行解析，所述解析规则如下：

<产生式头>：<产生式体>

(4.2)利用语法制导翻译方法对产生式进行解析，为每个产生式增加插桩语义动作，得到每个插桩切入点的插桩语法规则如下：

<产生式头>：<产生式体>{语义动作}。

5.根据权利要求4所述的一种基于源代码的程序自动插桩方法，其特征在于：所述步骤(4.2)中，增加插桩语义动作时要保证插装前后的语法结构等价，插装前后的语义相同。