Proteus: Computing disjunctive loop summary via path dependency analysis

• Main Authors: XIE, Xiaofei, CHEN, Bihuan, LIU, Yang, LE, Wei, LI, Xiaohong
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2016
• Subjects: Loop Summarization; Disjunctive Summary; OS and Networks; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7061; https://ink.library.smu.edu.sg/context/sis_research/article/8064/viewcontent/2950290.2950340.pdf
• Institution: Singapore Management University

Loops are challenging structures for program analysis, especially when loops contain multiple paths with complex interleaving executions among these paths. In this paper, we first propose a classification of multi-path loops to understand the complexity of the loop execution, which is based on the v...