江苏省技术产权交易市场

数组越界错误的自动检测和校正方法
  • 高价值专利
  • 战略性新兴产业
  • 农业
  • 电子信息
860人浏览  | 交易次数:0次
商品编号
FP202026604381098891
商品权属
自有
交易方式
技术转让
商品价格
面议
关键词
抽象语法树 指针依赖图 数组越界错误 符号表

店铺信息

南京航空航天大学
电话 135xxxx8170
商品摘要
商品详情
详细参数
其他附件
商品评价
本发明提供一种数组越界错误的自动检测和校正方法,包括:选择待变换的源代码;利用编译器生成源代码的符号表和抽象语法树;遍历抽象语法树,构造指针依赖图,并进行源代码变换计算;在源代码中将需替换的部分源代码进行替换;将按照数组越界检测策略和校正策略生成的函数定义写入变换后源代码的开头部分;将变换后的源代码用原编译器进行编译;把生成的可执行文件部署到目标系统并运行,自动检测和校正数组越界错误,并准确报告错误对应的源代码位置。本发明提供的数组越界错误的自动检测和校正方法具有更准确的错误定位功能,更好的运行时效率和性能,更自动化的运行时错误校正功能。
AI猜你喜欢
换一批

Hi,我是江苏省技术产权交易市场成果转化AI技术经理人!

试试对话AI技术经理人

  • 该成果有哪些相似的成果?
  • 该成果可能有哪些需求方?
  • 该成果可能的应用领域?