S-Looper: Automatic summarization for multipath string loops

• Main Authors: XIE, Xiaofei, LIU, Yang, LE, Wei, LI, Xiaohong, CHEN, Hongxu
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2015
• Subjects: Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7103; https://ink.library.smu.edu.sg/context/sis_research/article/8106/viewcontent/2771783.2771815.pdf
• Institution: Singapore Management University

Loops are important yet most challenging program constructs to analyze for various program analysis tasks. Existing loop analysis techniques mainly handle well loops that contain only integer variables with a single path in the loop body. The key challenge in summarizing a multiple-path loop is that...