首页> 中国专利> 一种P2020机器码程序到C语言源程序的溯源方法

一种P2020机器码程序到C语言源程序的溯源方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种P2020机器码程序到C语言源程序的溯源方法。通过本方法，用户可以从文件、函数定义、函数体等三层次实现P2020处理器机器码程序和其编译之前的C语言源程序之间的映射和溯源，包括P2020机器码程序文件、函数、函数内的每条语句到C语言源程序的映射和溯源。以达到在机器码程序层次上识别任务关键安全嵌入式软件编译期间是否插入非相关危害性代码的目的，同时根据溯源关系，还可以在机器码程序层次上实施测试覆盖的分析验证，保证嵌入式安全关键软件产品的安全性和可靠性，降低软件审核的成本。本方法可运用于高可靠、高安全领域，例如，航空领域、航天领域、交通运输领域、核电领域等。

著录项

公开/公告号CN111552465A

专利类型发明专利
公开/公告日2020-08-18

原文格式PDF
申请/专利权人中国民航大学;
展开▼

申请/专利号CN202010397904.8
发明设计人谢文光;汪克念;马春燕;张啸晨;吴康;姚鑫鹏;陈文琪;
展开▼

申请日2020-05-12
分类号G06F8/30(20180101);G06F8/41(20180101);G06F21/16(20130101);
代理机构12105 天津中环专利商标代理有限公司;
代理人王凤英
地址 300300 天津市东丽区津北公路2898号
入库时间 2023-12-17 11:32:46

法律信息

法律状态公告日

法律状态信息

法律状态
2020-08-18

公开

公开

相似文献

专利
中文文献
外文文献

1. 一种P2020机器码程序到C语言源程序的溯源方法 [P] . 中国专利： CN111552465A . 2020-08-18
2. 一种人工智能程序员根据公式描述书写源程序的方法 [P] . 中国专利： CN108304166A . 2018-07-20
3. A method includes receiving, at a Computing device, a Code of intermediary Language dependent Machine (MDIL) generated by a supplier to an application, and the application installed on the device to generate a native image for the applicationTo generate the image covers a portion of the code MDIL unite with one or more libraries on the device and store the image in the native device; Device Computing method to provide Installation Package [P] . CL2015000524A1 . 2015-08-28

机译：一种方法包括在计算设备处接收由供应商为应用程序生成的中间语言相关机器码（MDIL），并且该应用程序安装在设备上以为该应用程序生成本机图像。代码MDIL与设备上的一个或多个库结合在一起，并将映像存储在本机设备中;提供安装包的设备计算方法
4. A language processing system and method for generating an object program from a source program using a two-stage jump [P] . 韩国专利： KR19990030244A . 1999-04-26

机译：一种使用两级跳转从源程序生成目标程序的语言处理系统和方法
5. A METHOD FOR GENERATING A SOURCE PROGRAM OF AN ARBITRARY ASSEMBLER LANGUAGE [P] . IN211073B . 2007-12-14

机译：一种生成任意汇编语言源程序的方法