Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings - Roberto Giacobazzi (Springer Nature, 2025)