Open AccessStatic loop analysis and its applications
Author(s) -
Xiaofei Xie
Publication year - 2016
Publication title -
institutional knowledge (ink) - institutional knowledge at singapore management university (singapore management university)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/2950290.2983972
Subject(s) - computer science , loop (graph theory) , static analysis , program analysis , loop fusion , symbolic execution , theoretical computer science , computer engineering , programming language , software , mathematics , combinatorics , compiler
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom