Static loop analysis and Its applications
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...
Saved in:
| Main Author: | |
|---|---|
| Format: | text |
| Language: | English |
| Published: |
Institutional Knowledge at Singapore Management University
2016
|
| Subjects: | |
| Online Access: | https://ink.library.smu.edu.sg/sis_research/7062 https://ink.library.smu.edu.sg/context/sis_research/article/8065/viewcontent/2950290.2983972.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Singapore Management University |
| Language: | English |
| id |
sg-smu-ink.sis_research-8065 |
|---|---|
| record_format |
dspace |
| spelling |
sg-smu-ink.sis_research-80652022-04-07T08:46:10Z Static loop analysis and Its applications XIE, Xiaofei 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. 2016-11-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/7062 info:doi/10.1145/2950290.2983972 https://ink.library.smu.edu.sg/context/sis_research/article/8065/viewcontent/2950290.2983972.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University Loop summarization termination program verification OS and Networks Software Engineering |
| institution |
Singapore Management University |
| building |
SMU Libraries |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
SMU Libraries |
| collection |
InK@SMU |
| language |
English |
| topic |
Loop summarization termination program verification OS and Networks Software Engineering |
| spellingShingle |
Loop summarization termination program verification OS and Networks Software Engineering XIE, Xiaofei Static loop analysis and Its applications |
| description |
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. |
| format |
text |
| author |
XIE, Xiaofei |
| author_facet |
XIE, Xiaofei |
| author_sort |
XIE, Xiaofei |
| title |
Static loop analysis and Its applications |
| title_short |
Static loop analysis and Its applications |
| title_full |
Static loop analysis and Its applications |
| title_fullStr |
Static loop analysis and Its applications |
| title_full_unstemmed |
Static loop analysis and Its applications |
| title_sort |
static loop analysis and its applications |
| publisher |
Institutional Knowledge at Singapore Management University |
| publishDate |
2016 |
| url |
https://ink.library.smu.edu.sg/sis_research/7062 https://ink.library.smu.edu.sg/context/sis_research/article/8065/viewcontent/2950290.2983972.pdf |
| _version_ |
1770576205656883200 |