Automatic loop summarization via path dependency analysis

• Main Authors: XIE, Xiaofei, CHEN, Bihuan, ZOU, Liang, LIU, Yang, LE, Wei, LI, Xiaohong
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2019
• 主題: Disjunctive loop summary; path dependency automaton; path interleaving; Software Engineering
• 在線閱讀: https://ink.library.smu.edu.sg/sis_research/7100; https://ink.library.smu.edu.sg/context/sis_research/article/8103/viewcontent/336ed1cc9c1df91a9ae8b5a4977cc8d93e8f.pdf
• 機構: Singapore Management University

Analyzing loops is very important for various software engineering tasks such as bug detection, test case generation and program optimization. However, loops are very challenging structures for program analysis, especially when (nested) loops contain multiple paths that have complex interleaving rel...