FSE 2016 All Events

24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), November 13–18, 2016, Seattle, WA, USA

Desktop Layout

Student Research Competition
Foyer 3rd/4th Floor
Static Loop Analysis and Its Applications
Xie Xiaofei
(Tianjin University, China)
Publisher's Version
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.


Time stamp: 2019-06-18T22:42:11+02:00