Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

0: Title Page 0: Welcome from the Chairs 0: SOAP 2024 Organization 1: Dr Wenowdis: Specializing Dynamic Language C Extensions using Type Information 2: Interleaving Static Analysis and LLM Prompting 3: A Better Approximation for Interleaved Dyck Reachability 4: Interactive Source-to-Source Optimizations Validated using Static Resource Analysis 5: When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly 6: ValBench: Benchmarking Exact Value Analysis 7: Static Analysis for Transitioning to CHERI C/C++ 8: Misconceptions about Loops in C