[发明专利]源代码缺陷分析中一种基于区域的内存建模方法无效
| 申请号： | 201010103371.4 | 申请日： | 2010-02-01 |
| 公开（公告）号： | CN101937390A | 公开（公告）日： | 2011-01-05 |
| 发明（设计）人： | 许中兴;张健;张* | 申请（专利权）人： | 许中兴;张健;北京测腾信息技术有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F12/02 |
| 代理公司： | 北京安博达知识产权代理有限公司 11271 | 代理人： | 徐国文 |
| 地址： | 100190 北京市海淀区中关村南四*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供源代码缺陷分析中一种基于区域的内存建模方法包括下列操作步骤：(1)从表达式到其所对应的内存区域建立第一个映射；(2)判断是否含有赋值操作：是，执行步骤(3)；否，执行步骤(1)；(3)从内存区域到其对应的值建立第二个映射。本发明的目的基于区域的内存建模方法针对缺陷分析中常用的路径敏感分析方法，给出了一种精确的从表达式到其对应的内存块的计算方法。有了这种计算方法，就可以精确的表示指针变量的值、数组变量和数组元素的关系、指针类型转换等这些复杂的内存结构，也就是说可以精确的表示程序中每个表达式的值，对表达式进行精确的求值，从而可以对程序进行多种缺陷分析。 | ||
| 搜索关键词： | 源代码 缺陷 分析 一种 基于 区域 内存 建模 方法 | ||
【主权项】：
源代码缺陷分析中基于区域的内存建模方法，其特征在于：包括下列操作步骤：(1)从表达式到其所对应的内存区域建立第一个映射；(2)判断是否含有赋值操作：是，执行步骤(3)；否，执行步骤(1)；(3)从内存区域到其对应的值建立第二个映射。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于许中兴;张健;北京测腾信息技术有限公司，未经许中兴;张健;北京测腾信息技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201010103371.4/，转载请声明来源钻瓜专利网。
