Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings - Singh, Gagandeep; Urban, Caterina (Cham Springer, 2023)