Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
11-2016
Abstract
Loops are challenging structures in program analysis, and an effective loop analysis is crucial in the applications, such as symbolic execution and program verification. In the research, we will first perform a deep analysis and propose a classification according to the complexity of the loops. Then try to propose techniques for analyzing and summarizing different loops. At last, we apply the techniques in multiple applications.
Keywords
Loop summarization, termination, program verification
Discipline
OS and Networks | Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 24th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Seattle, November 13-18, 2016
First Page
1130
Last Page
1132
ISBN
9781450342186
Identifier
10.1145/2950290.2983972
Publisher
Association for Computing Machinery
City or Country
Seattle, WA, USA
Citation
XIE, Xiaofei.
Static loop analysis and Its applications. (2016). Proceedings of the 24th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Seattle, November 13-18, 2016. 1130-1132.
Available at: https://ink.library.smu.edu.sg/sis_research/7062
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.