Control-Flow Tracking and Misuse Detection for Non-local Jumps in C

Explore a 22-minute conference talk from SOAP 2023 that delves into the complexities of setjmp/longjmp mechanisms in C programming. Learn about an innovative approach for enhancing interprocedural analyses to support these non-local control flow structures and detect their misuse. Discover how side-effecting transfer functions can be leveraged to handle non-local semantics, potentially triggering contributions to additional program points. Gain insights from real-world examples and examine a proposed set of litmus tests for analyzers. This presentation, given by researchers from TU Munich and the University of Tartu, offers valuable knowledge for developers and static analysis tool creators working with C language intricacies.