TY - GEN
T1 - Static loop analysis and its applications
AU - Xie, Xiaofei
N1 - Publisher Copyright:
© 2016 ACM.
PY - 2016/11/1
Y1 - 2016/11/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84997241505&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84997241505&partnerID=8YFLogxK
U2 - 10.1145/2950290.2983972
DO - 10.1145/2950290.2983972
M3 - Conference contribution
AN - SCOPUS:84997241505
T3 - Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
SP - 1130
EP - 1132
BT - FSE 2016 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
A2 - Su, Zhendong
A2 - Zimmermann, Thomas
A2 - Cleland-Huang, Jane
PB - Association for Computing Machinery
T2 - 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016
Y2 - 13 November 2016 through 18 November 2016
ER -