@inproceedings{194c07f873e24ff8aec7a00552117ca0,
title = "When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C",
abstract = "The C programming language offers setjmp/longjmp as a mechanism for non-local control flow. This mechanism has complicated semantics. As most developers do not encounter it day-To-day, they may be unfamiliar with all its intricacies-leading to subtle programming errors. At the same time, most static analyzers lack proper support, implying that otherwise sound tools miss whole classes of program deficiencies. We propose an approach for lifting existing interprocedural analyses to support setjmp/longjmp, as well as to flag their misuse. To deal with the non-local semantics, our approach leverages side-effecting transfer functions which, when executed, may trigger contributions to extra program points. We showcase our analysis on real-world examples and propose a set of litmus tests for other analyzers.",
keywords = "Abstract Interpretation, Side-Effects, Static Analysis, setjmp / longjmp",
author = "Michael Schwarz and Julian Erhard and Vesal Vojdani and Simmo Saan and Helmut Seidl",
note = "Publisher Copyright: {\textcopyright} 2023 Owner/Author.; 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, co-located with the 44th ACM SIGPLAN International ; Conference date: 17-06-2023 Through 17-06-2023",
year = "2023",
month = jun,
day = "6",
doi = "10.1145/3589250.3596140",
language = "English",
series = "SOAP 2023 - Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with PLDI 2023",
publisher = "Association for Computing Machinery, Inc",
pages = "20--26",
editor = "Pietro Ferrara and Liana Hadarean",
booktitle = "SOAP 2023 - Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with PLDI 2023",
}