[发明专利]一种P2020机器码程序到C语言源程序的溯源方法有效
| 申请号： | 202010397904.8 | 申请日： | 2020-05-12 |
| 公开（公告）号： | CN111552465B | 公开（公告）日： | 2022-07-05 |
| 发明（设计）人： | 谢文光;汪克念;马春燕;张啸晨;吴康;姚鑫鹏;陈文琪 | 申请（专利权）人： | 中国民航大学 |
| 主分类号： | G06F8/30 | 分类号： | G06F8/30;G06F8/41;G06F21/16 |
| 代理公司： | 天津中环专利商标代理有限公司 12105 | 代理人： | 王凤英 |
| 地址： | 300300 天*** | 国省代码： | 天津;12 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种P2020机器码程序到C语言源程序的溯源方法。通过本方法，用户可以从文件、函数定义、函数体等三层次实现P2020处理器机器码程序和其编译之前的C语言源程序之间的映射和溯源，包括P2020机器码程序文件、函数、函数内的每条语句到C语言源程序的映射和溯源。以达到在机器码程序层次上识别任务关键安全嵌入式软件编译期间是否插入非相关危害性代码的目的，同时根据溯源关系，还可以在机器码程序层次上实施测试覆盖的分析验证，保证嵌入式安全关键软件产品的安全性和可靠性，降低软件审核的成本。本方法可运用于高可靠、高安全领域，例如，航空领域、航天领域、交通运输领域、核电领域等。 | ||
| 搜索关键词： | 一种 p2020 机器码 程序 语言 源程序 溯源 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国民航大学，未经中国民航大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010397904.8/，转载请声明来源钻瓜专利网。
