Safety compiling method and device based on HiWing SylixOS operating system

Abstract

The invention relates to a safe compiling method and device based on a HiWing SylixOS operating system, and belongs to the technical field of embedded operating systems. The problems that an existingcompiling method is difficult to realize high safety, high quality and the like of the HiWing SylixOS operating system are solved. The method comprises the following steps: carrying out code scanningpreprocessing on a source program to be compiled to obtain a code scanning preprocessing result; performing lexical analysis on the code scanning preprocessing result to obtain a word sequence; carrying out syntax analysis on structure settings in the word sequence to obtain an abstract syntax tree, wherein the structure settings comprise a control structure, a data type, a function statement anda parameter table; performing semantic analysis based on the abstract syntax tree to generate an intermediate code; and optimizing the intermediate code to generate a target code. Inspection of code formats, annotation styles, character set legality and conditional compilation is achieved, and safety and quality of compilation software are improved.

Description

technical field [0001] The invention relates to the technical field of embedded operating systems, in particular to a safe compilation method and device based on the Haiying Yihui operating system. Background technique [0002] With the rapid development of weapon equipment systems in terms of informatization, systematization, autonomy, and intelligence, the scale of software is getting larger and more critical, and the quality and safety of software have become an important factor affecting product quality and important factor in reliability. [0003] At present, many commercial or open source secure compilation methods can support testing and verification at various stages of software development, but these tools are customized based on some development environments, operating systems and target machines with a large market share, such as: VxWorks , CCS, etc., but the coverage is limited. At present, there is no safe compilation method and tool for the Haiying Yihui opera...

AI Technical Summary

Problems solved by technology

[0004] In view of the above analysis, the embodiment of the present invention aims to provide a safe compilation method and device based on the Haiying Yihui operating system to solve the problem that the existing compiling method is difficult to achieve high security and high security of the Haiying Yihui operating system. Quality requirements and other issues

Images