The research of endless loop detection method based on the basic path. Issue 8 (16th November 2020)

• Record Type: Journal Article
• Authors: Gao, Xuexin; Mu, Yongmin; Shen, Meie
• Is Part Of: International journal of computers and applications. Volume 42:Issue 8(2020)
• Page Start: 740
• Page End: 747
• Publication Date: 2020-11-16
• Subjects: Endless loop -- basic path -- CFG -- GCC; Computers -- Periodicals; Computer software -- Periodicals; Computer networks -- Periodicals; Multimedia systems -- Periodicals; Internet -- Periodicals; World Wide Web -- Periodicals; Minicomputers -- Periodicals; Microcomputers -- Periodicals; 004.05
• DOI: 10.1080/1206212X.2018.1481182
• Languages: English
• ISSNs: 1206-212X

Abstract

ABSTRACT: 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.