You are about to access our book library "Static Analysis: 32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings (Lecture Notes in Computer Science) full version" .