Automatic loop summarization via path dependency analysis
Analyzing loops is very important for various software engineering tasks such as bug detection, test case generation and program optimization. However, loops are very challenging structures for program analysis, especially when (nested) loops contain multiple paths that have complex interleaving rel...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| 其他作者: | |
| 格式: | Article |
| 語言: | English |
| 出版: |
2020
|
| 主題: | |
| 在線閱讀: | https://hdl.handle.net/10356/141429 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|