Method for detecting error of program control flow

Abstract

The invention discloses a method for detecting the error of a program control flow and intends to overcome the difficulties in increasing the detection rate of the errors of the control flow by the conventional method and solve the difficult problem with the detection of the control flow inside basic blocks and among processes. The method comprises the following steps according to the technical scheme of the invention: firstly, identifying basic blocks and confirming the routing relation among the basic blocks; then, confirming the maximum required number of detection commands of the internal control flow of each basic block according to the requirements of the internal control flow and the constitutive characteristics of the basic blocks; designing the labels for the basic blocks on that basis, and distributing the unique static label to each basic block; then, inserting the detection commands into the head part, inner part and tail part of each basic block in the program respectively, re-assembling and re-linking the assembler of the inserted detection commands of the control flow, and generating an executable program for achieving the detection of the error of the control flow.

Description

technical field [0001] The invention relates to a method for detecting program control flow errors, in particular to a method for detecting control flow errors caused by hardware transient faults in a space radiation environment. Background technique [0002] Space exploration activities require a lot of investment and high risk, and have extremely high requirements for computing reliability. The main factor affecting the safety of space probes in space is the radiation of cosmic rays, because there are a large number of high-energy particles including electrons, protons, particles and heavy ions in the cosmic environment. When the cosmic rays composed of these particles bombard the semiconductor of the aerospace computer When the circuit is damaged, it may cause a transient change in the stored power in the PN structure. This transient fault is also commonly referred to as the single event effect SEE (Single Event Effect). Although single event effects generally do not cau...

AI Technical Summary

Problems solved by technology

False branches will cause the program to exit normally but the execution result is an error, so it is very dangerous. At the same time, it is also a difficult point in the control flow error detection. At present, many methods cannot solve this problem.

[0015] (2) Control flow error detection inside the basic block: the existing control flow detection methods mainly focus on the correctness of the control flow between the basic blocks, but there is no relatively perfect solution to the control flow error inside the basic block

Some methods do not consider the control flow detection between procedures, that is, they do not use function call i

Images