[发明专利]基于数据流分析的缓冲区溢出分析方法及装置

权利要求书

1.一种缓冲区溢出分析方法，其特征在于，包括：

基于程序的控制流图，通过静态污点分析确定被污染的变量；

根据所述被污染的变量，确定以所述被污染的变量作为数组下标的数组表达式；

根据所述数组表达式，通过后向数据流分析确定所述被污染的变量的边界限制值；

判断外部输入变量与所述边界限制值的大小，若所述外部输入变量大于或等于所述边界限制值，则确认缓冲区溢出。

2.根据权利要求1所述的缓冲区溢出分析方法，其特征在于，所述根据所述数组表达式，通过后向数据流分析确定所述数组下标的边界限制值包括：

以所述程序的控制流图中包括所述被污染的变量的最后一个块作为起点，以所述程序的控制流图中包括所述被污染的变量的最后一个前驱块作为终点，进行后向数据流分析；

其中，所述边界限制值为所述最后一个前驱块中所述被污染的变量的边界限制值。

3.根据权利要求2所述的缓冲区溢出分析方法，其特征在于，所述被污染的变量为所述外部输入变量，以及取值基于所述外部输入变量的变量。

4.一种缓冲区溢出分析装置，其特征在于，包括：

第一确定模块，用于基于程序的控制流图，通过静态污点分析确定被污染的变量；

第二确定模块，用于根据所述被污染的变量，确定以所述被污染的变量作为数组下标的数组表达式；

第三确定模块，用于根据所述数组表达式，通过后向数据流分析确定所述被污染的变量的边界限制值；

判断模块，用于判断外部输入变量与所述边界限制值的大小，若所述外部输入变量大于或等于所述边界限制值，则确认缓冲区溢出。

5.根据权利要求4所述的缓冲区溢出分析装置，其特征在于，所述第三确定模块具体用于：

以所述程序的控制流图中包括所述被污染的变量的最后一个块作为起点，以所述程序的控制流图中包括所述被污染的变量的最后一个前驱块作为终点，进行后向数据流分析；

其中，所述边界限制值为所述最后一个前驱块中所述被污染的变量的边界限制值。

6.根据权利要求5所述的缓冲区溢出分析装置，其特征在于，所述被污染的变量为所述外部输入变量，以及取值基于所述外部输入变量的变量。

7.一种电子设备，包括：

至少一个处理器、至少一个存储器、通信接口和总线；其中，

所述处理器、存储器、通信接口通过所述总线完成相互间的通信；

所述存储器存储有可被所述处理器执行的程序指令，其特征在于，所述处理器调用所述程序指令，以执行如权利要求1至3任一项所述的方法。

8.一种非暂态计算机可读存储介质，其特征在于，所述非暂态计算机可读存储介质存储计算机指令，所述计算机指令使所述计算机执行如权利要求1至3中任一项所述的方法。