发明名称 |
识别源代码中的固定存储器地址错误的装置、系统和方法 |
摘要 |
本发明提供了一种装置、系统和方法,用于在建立时识别在源代码中的固定存储器地址错误。本发明包括置换模块,它用固定的存储器地址值置换硬编码的存储器地址符号。按照在固定存储器地址值和硬编码的存储器地址符号之间的映射而置换所述固定的存储器地址值。判定模块通过引用目标代码而确定与硬编码的存储器地址符号相关联的变量的大小和位置信息。产生模块根据由判定模块提供的大小和位置信息产生一个或多个条件和/或存储器区域条件,来验证存储器边界和/或容量限制。评估模块评估所述条件,并且响应于违反所述条件和/或存储器区域条件之一而发出表示错误的信号。评估模块可以是传统的建立处理部件,诸如传统源代码预处理器。 |
申请公布号 |
CN1776620A |
申请公布日期 |
2006.05.24 |
申请号 |
CN200510124784.X |
申请日期 |
2005.11.15 |
申请人 |
国际商业机器公司 |
发明人 |
查尔斯·S·卡迪内尔 |
分类号 |
G06F9/45(2006.01) |
主分类号 |
G06F9/45(2006.01) |
代理机构 |
北京市柳沈律师事务所 |
代理人 |
黄小临;王志森 |
主权项 |
1.一种用于在建立时识别在源代码中的固定存储器地址错误的装置,所述装置包括:置换模块,被配置来用固定的存储器地址值置换硬编码的存储器地址符号,在编译源代码和链接来自源代码编译的目标代码中都使用的公共资源中定义在固定存储器地址值和硬编码的存储器地址符号之间的映射;判定模块,被配置来通过引用目标代码而确定与硬编码的存储器地址符号相关联的变量的大小和位置信息;产生模块,被配置来根据所述大小和位置信息产生一个或多个验证所述变量满足存储器边界限制的条件;以及评估模块,被配置来评估所述条件和响应于违反所述条件之一而发出表示错误的信号。 |
地址 |
美国纽约 |