Interruption control flow diagram-based interruption verification method

Abstract

The invention discloses an interruption control flow diagram-based interruption verification method. The method comprises the following steps of: carrying out a disassembling operation on a target code of an interruption driving program so as to obtain an assembly code; constructing an interruption control flow diagram according to the assembly code; slicing the interruption control flow diagram to obtain interruption control flow diagram slices; and verifying time safety and memory safety of the interruption control flow diagram according to the interruption control flow diagram slices. According to the method, control flow information of the interruption driving program is described by adoption of the interruption control flow diagram, and the interruption control flow diagram is slicedby utilizing a program slicing technological thought so as to analyze and verify the time safety and memory safety of the target code. The method has the advantages of putting forward model-interruption control flow diagrams of interruption control flow structures, verifying two most common problems of the interruption driving program in a same model, and improving the reliability and safety of interruption driving program verification.

Description

technical field [0001] The invention relates to the field of static analysis of computer codes, in particular to an interrupt verification method based on an interrupt control flow graph, which is used to verify the time safety and memory safety of an interrupt driver. Background technique [0002] Today, with the rapid development of information technology and mobile Internet, the development of embedded real-time systems has also made remarkable progress, and is widely used in computer-related industries, such as: manufacturing, medical, transportation and communication industries. In addition, embedded real-time systems are widely used in key fields such as energy, aerospace, and military affairs. Therefore, once these systems make mistakes, it will cause immeasurable losses. Particularly important. In fact, the correctness and reliability of the real-time system work not only depends on the results produced by the system operation, but also depends on the time required ...

AI Technical Summary

Problems solved by technology

However, there are usually a large number of different interrupt sources (sources that signal interrupt requests) in an interrupt driver, and even most real-time systems support nested interrupts in interrupt handlers, through which an interrupt can be assigned a higher priority These situations lead to the same randomness and complexity of the interrupt handler

In addition, due to the introduction of the interrupt mechanism, the interrupt driver will generate another data race that may affect security—that is, two threads access the same shared variable at the same time, and at least one of the two accesses is to the variable. write value

Therefore, in the embedded field, software errors caused by interrupts still often occur. However, the detection techniques and methods related to interrupt data race and time nature are still relatively lacking.

Images