Ferrara, Pietro2023-08-152023-08-152023979-8-4007-0170-2https://publica.fraunhofer.de/handle/publica/44818610.1145/3589250enSOAP 2023, 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Proceedings