2025-09-082025-09-08https://publica.fraunhofer.de/handle/publica/494955International Workshop on the State Of the Art in Program Analysis 2025