Misconceptions about Loops in C
Brain, M. 
ORCID: 0000-0003-4216-7151 & Malkawi, M. (2024).
Misconceptions about Loops in C.
In:
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis.
SOAP '24: 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 25 Jun 2024, Copenhagen, Denmark.
doi: 10.1145/3652588.3663324
Abstract
Loop analysis is a key component of static analysis tools. Unfortunately, there are several rare edge cases. As a tool moves from academic prototype to production-ready, obscure cases can and do occur. This results in loop analysis being a key source of late-discovered but significant algorithmic bugs. To avoid these, this paper presents a collection of examples and "folklore"challenges in loop analysis.
| Publication Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Copyright © 2024 Owner/Author. This work is licensed under a Creative Commons Attribution International 4.0 License. |
| Publisher Keywords: | Loop Analysis, Software Verification, Static Analysis |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Departments: | School of Science & Technology School of Science & Technology > Computer Science |
| SWORD Depositor: |
Available under License Creative Commons Attribution.
Download (201kB) | Preview
Export
Downloads
Downloads per month over past year
Metadata
MetadataActions (login required)
Admin Login