2024-06-202024-06-202024979-8-4007-0621-9https://publica.fraunhofer.de/handle/publica/470278enSOAP 2024. Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis