Abstract: A control flow error detection method based on Multi-layer Segmented Labels (CFMSL) is proposed, which detects the control flow errors of the program online by updating and checking the multi-layer segmented labels. CFMSL can automatically embed label update and inspection instructions into the program during compile time, so as to realize dynamic inspection effect during program execution. The label design and calculation methods proposed in this paper are creative, which reduces the time and space complexity greatly, and has the abilities to handle complex programs and detect subtle control flow errors. CFMSL has the ability of batch and automation processing program through LLVM pass files. Finally, the fault injection tool designed in this paper is used to simulate the impact of control flow errors on software. At the same time, the error detection capabilities and overhead of CFMSL are evaluated. The experimental results show that compared with other methods, CFMSL has a lower overhead on the time and space and has higher error detection capabilities, which shows the superiority of the proposed method.

Key words: multi-layer segment labels, control flow errors, error detection, fault injection, overhead