Static loop analysis and Its applications

• Main Author: XIE, Xiaofei
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2016
• Subjects: Loop summarization; termination; program verification; OS and Networks; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7062; https://ink.library.smu.edu.sg/context/sis_research/article/8065/viewcontent/2950290.2983972.pdf
• Institution: Singapore Management University

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