Supercharge Your Innovation With Domain-Expert AI Agents!

Tracing method from P2020 machine code program to C language source program

A C language and source program technology, applied in programming language/paradigm, program code conversion, program/content distribution protection, etc., can solve the problems of low efficiency and high analysis difficulty, and achieve the effect of preventing hidden dangers

Active Publication Date: 2020-08-18
CIVIL AVIATION UNIV OF CHINA
View PDF6 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

At present, for the review and analysis of source programs, especially the function traceability of machine code programs and C language source programs, programmers need to manually analyze and establish mapping relationships, which is difficult and inefficient.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Tracing method from P2020 machine code program to C language source program
  • Tracing method from P2020 machine code program to C language source program
  • Tracing method from P2020 machine code program to C language source program

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0128] The present invention will be further described below in conjunction with application examples.

[0129] 1. The directory structure of the C language source program file and the source code example of the function query in the test.c file

[0130] The directory structure of the C language source program is as follows:

[0131] The root directory is / Users / admin / workspace / src. Under this root directory, there are 4 files with the suffix .c, and the file names are:

[0132] grid.c;

[0133] main.c;

[0134] test.c;

[0135] tree.c.

[0136] Two, the source code example of the function query in the test.c file

[0137] The source code of the function query in the test.c file is as follows, and the line number of the statement in the file test.c is line 63-90:

[0138] 63 int trie_query(Trie*trie, char*c) {;

[0139] 64 if(trie==NULL);

[0140] 65 {;

[0141] 66 return 0;

[0142] 67};

[0143] 68 char*p=c;

[0144] 69 Trie*temp=trie;

[0145] 70 int ret = 0; ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a tracing method from a P2020 machine code program to a C language source program. By means of the method, a user can achieve mapping and tracing between the P2020 processor machine code program and the C language source program before compiling of the P2020 processor machine code program from three levels of files, function definitions and function bodies, including mapping and tracing of each statement in the P2020 machine code program files, functions and functions to the C language source program. Therefore, the purpose of identifying whether a non-related harmful code is inserted in the compiling period of task key security embedded software or not on the machine code program level is achieved. And meanwhile, according to the traceability relationship, analysisand verification of test coverage can be implemented on a machine code program level, so that the safety and reliability of an embedded safety key software product are ensured, and the software auditing cost is reduced. The method can be applied to the fields of high reliability and high safety, such as the aviation field, the aerospace field, the transportation field and the nuclear power field.

Description

technical field [0001] The invention relates to a mapping and source tracing technology from a machine code program of a PowerPC P2020 processor platform to a C language source program, in particular to a source tracing method from a P2020 machine code program to a C language source program. Background technique [0002] The PowerPCP2020 processor has been widely used in the embedded field. The P2020 processor is a new generation of QorIQTM communication processor launched by FreeScale. This processor can achieve up to 1.2GHz dual-core and single-core frequency on the 45nm technology low-power platform. It has the characteristics of high performance and low power consumption. It is widely used in Networking, telecommunications, military and industrial embedded system applications. [0003] Generation of executable machine code programs on PowerPCP2020 processor. The application program written by the user in C language needs to be compiled with a C language compiler on the...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F8/30G06F8/41G06F21/16
CPCG06F8/31G06F8/49G06F21/16Y02D10/00
Inventor 谢文光汪克念马春燕张啸晨吴康姚鑫鹏陈文琪
Owner CIVIL AVIATION UNIV OF CHINA
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More