The research of endless loop detection method based on the basic path

The detection of the endless loop has been an important issue in software research. In order to ensure the quality of software and improve the accuracy of endless loop detection, a method based on the basic path of the endless loop detection is proposed. Firstly, the source code is preprocessed, we cleaned the annotations, and detect the absolute endless loop; secondly, the intermediate code by the GCC compiler is generated, and the structural features of the program and generated the control flow graph are abstracted. Then we get the set of basic path and circle by the depth-first method. Finally, we backtracked from the end of the control flow graph which is used to find the exit of the loop structure and determine whether the exit condition is satisfied. Experiments demonstrate that the method improves the efficiency and accuracy of the endless loop detection.