[发明专利]一种程序分解方法

权利要求书

1.一种程序分解方法，其特征在于，包括下列步骤：

a)设定始函数和终函数；

b)以所述始函数和直接或间接调用所述始函数的函数组成的函数集作为Source；以所述终函数以及直接或间接调用所述终函数的函数组成的函数集作为Sinks；

c)对[Source-(Source∩Sinks)]中的每一个函数，以该函数的控制流图中由入口节点经调用Source中函数的节点到出口节点的控制流作为分解后的控制流图；

对[Sinks-(Source∩Sinks)]中的每一个函数，以该函数的控制流图中由入口节点经调用Sinks中函数的节点到出口节点的控制流作为分解后的控制流图；

对(Source∩Sinks)中的每一个函数，以该函数的控制流图中由入口节点经调用(Source∪Sinks)中函数的节点到出口节点的控制流作为分解后的控制流图；

d)按照所述程序的函数调用图依次连接步骤c)所述的各个所述分解后的控制流图，并以对应的程序作为分解后的程序。

2.如权利要求1所述的程序分解方法，其特征在于，步骤b)通过下述方法进行：

i.在所述程序的函数调用图中，设置始函数所在的节点具有“i”属性；设置终函数所在的节点具有“u”属性；

ii.以始函数或终函数所在的节点为起点，同时向上作下述递归分析：若某节点的子节点具有“i”属性，则设置该节点具有“i”属性；若某节点的子节点具有“u”属性，则设置该节点具有“u”属性；

iii.以所有具有“i”属性的节点所对应的函数组成的函数集作为Source；以所有具有“u”属性的节点所对应的函数组成的函数集作为Sinks。

3.如权利要求1所述的程序分解方法，其特征在于，步骤c)通过下述方法进行：

i.对(Source∪Sinks)中的每一个函数，在该函数的控制流图中，若某节点调用的函数属于Source，则设置该节点具有“r”属性；若某节点调用的函数属于Sinks，则设置该节点具有“w”属性；

ii.对[Source-(Source∩Sinks)]中的每一个函数，初始化节点集合ebs1＝ebs2＝{具有“r”属性的节点}；

向上递归扩充ebs1，使ebs1内的节点的父节点也在ebs1内，直至入口节点；向下递归扩充ebs2，使ebs2内的节点的子节点也在ebs1内，直至出口节点；

以包含ebs1∪ebs2中的节点的控制流作为分解后的控制流图；

iii.对[Sinks-(Source∩Sinks)]中的每一个函数，初始化节点集合ebs1＝ebs2＝{具有“w”属性的节点}；

向上递归扩充ebs1，使ebs1内的节点的父节点也在ebs1内，直至入口节点；向下递归扩充ebs2，使ebs2内的节点的子节点也在ebs1内，直至出口节点；

以包含ebs1∪ebs2中的节点的控制流作为分解后的控制流图；

iv.对(Source∩Sinks)中的每一个函数，初始化节点集合ebs1＝ebs2＝{具有“r”属性的节点}；初始化节点集合ebs3＝ebs4＝{具有“w”属性的节点}；

向上递归扩充ebs1，使ebs1内的节点的父节点也在ebs1内，直至入口节点；向下递归扩充ebs2，使ebs2内的节点的子节点也在ebs1内，直至出口节点；向上递归扩充ebs3，使ebs3内的节点的父节点也在ebs3内，直至入口节点；向下递归扩充ebs4，使ebs4内的节点的子节点也在ebs4内，直至出口节点；

以包含[ebs1∪(ebs2∩ebs3)∪ebs4]中的节点的控制流作为分解后的控制流图。

4.如权利要求1-3任意一项所述的程序分解方法，其特征在于，所述始函数选自污染数据引入函数，所述终函数选自污染数据敏感函数。

5.如权利要求4所述的程序分解方法，其特征在于，所述始函数选自由文件读入函数，网络数据读入函数和格式化输入函数组成的集合；所述终函数选自由内存操作函数，内存分配函数，字符串操作函数和进程启动函数组成的集合。

6.如权利要求5所述的程序分解方法，其特征在于，所述文件读入函数包括fread，read，fgetc，fgets，fscanf；所述网络数据读入函数包括recv，recvfrom，recvmsg；所述格式化输入函数包括scanf，fscanf，sscanf，vscanf，vsscanf，vfscanf；所述内存操作函数包括memcpy，wmemcpy，memccpy，bcopy；所述内存分配函数包括malloc，realloc，alloc，heapalloc，所述字符串操作函数包括strcat，strcpy，sprintf，printf；所述进程启动函数包括execl，execlp，execle，execv，execvp。