源代码缺陷分析中一种基于区域的内存建模方法

摘要

本发明提供源代码缺陷分析中一种基于区域的内存建模方法包括下列操作步骤：(1)从表达式到其所对应的内存区域建立第一个映射；(2)判断是否含有赋值操作：是，执行步骤(3)；否，执行步骤(1)；(3)从内存区域到其对应的值建立第二个映射。本发明的目的基于区域的内存建模方法针对缺陷分析中常用的路径敏感分析方法，给出了一种精确的从表达式到其对应的内存块的计算方法。有了这种计算方法，就可以精确的表示指针变量的值、数组变量和数组元素的关系、指针类型转换等这些复杂的内存结构，也就是说可以精确的表示程序中每个表达式的值，对表达式进行精确的求值，从而可以对程序进行多种缺陷分析。