[发明专利]机载软件中目标代码到源代码的验证分析系统及设备在审
| 申请号: | 202210283082.X | 申请日: | 2022-03-22 |
| 公开(公告)号: | CN114741278A | 公开(公告)日: | 2022-07-12 |
| 发明(设计)人: | 李钦;杨洋;史建琦;黄滟鸿;郭欣 | 申请(专利权)人: | 华东师范大学 |
| 主分类号: | G06F11/36 | 分类号: | G06F11/36 |
| 代理公司: | 北京辰权知识产权代理有限公司 11619 | 代理人: | 段丽叶 |
| 地址: | 200062 上*** | 国省代码: | 上海;31 |
| 权利要求书: | 查看更多 | 说明书: | 查看更多 |
| 摘要: | 本申请提供了一种机载软件中目标代码到源代码的验证分析系统,具体的,第一代码模块根据第一目标代码通过反汇编得到第一汇编代码,根据第一汇编代码进行反编译得到第一C代码;关系映射模块将第一C代码与源代码进行对比,得到源代码变量名之间的对应关系;根据对应关系,结合第一汇编代码,得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表;第二代码模块根据第二目标代码通过反汇编得到第二汇编代码;根据关系映射表对汇编代码进行反编译,得到第二C代码;第一验证分析模块将第二C代码与源代码进行对比,得到第一验证结果。本申请解决了IDA Pro不能对COFF格式文件进行反编译的缺陷,提供了新的可执行目标代码到源代码可追溯性验证思路。 | ||
| 搜索关键词: | 机载 软件 目标 代码 源代码 验证 分析 系统 设备 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于华东师范大学,未经华东师范大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202210283082.X/,转载请声明来源钻瓜专利网。





