Interrupt verification system based on interrupt control flow graph

Abstract

The invention discloses an interrupt verification system based on an interrupt control flow graph. The system comprises a code conversion module, an interrupt information statistical module, a controlflow graph generation module, an interrupt control flow graph generation module, a processing module and an analysis module, wherein the code conversion module is used for obtaining an assembly codeaccording to an interrupt driving program; the interrupt information statistical module carries out statistics of interrupt information according to the assembly code; the control flow graph generation module generates the control flow graph according to the assembly code; the interrupt control flow graph generation module generates the interrupt control flow graph according to the control flow graph and the interrupt information; the processing module is used for carrying out slicing processing on the interrupt control flow graph; and the analysis module verifies the time safety and the memory safety of the interrupt driving program according to an interrupt control flow graph slice. The invention puts forward a new a model-interrupt control flow graph used for showing the control flow structure of the interrupt driving program and gives a method for cutting off the scale (slice) of the interrupt control flow graph, two categories of problems which appear most often in the interrupt driving program are verified in the same model, and the verification reliability and safety of the interrupt driving program is improved.

Description

technical field [0001] The invention relates to the field of static analysis of computer codes, in particular to an interrupt verification system based on an interrupt control flow graph, which is used for verifying 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 requi...

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