Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 16100)
Included in the following conference series:
Conference proceedings info: SAS 2025.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.
The 15 papers included here were carefully reviewed and selected from 32 submissions.
The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM.
Similar content being viewed by others
Table of contents (16 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Static Analysis
Editors and Affiliations
Accessibility Information
PDF accessibility summary
This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility, including screen reader support, described non-text content (images, graphs), bookmarks for easy navigation, keyboard-friendly links and forms and searchable, selectable text. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. Please note that a more accessible version of this eBook is available as ePub.
EPUB accessibility summary
This ebook is designed with accessibility in mind, aiming to meet the ePub Accessibility 1.0 AA and WCAG 2.2 Level AA standards. It features a navigable table of contents, structured headings, and alternative text for images, ensuring smooth, intuitive navigation and comprehension. The text is reflowable and resizable, with sufficient contrast. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com.
Bibliographic Information
Book Title: Static Analysis
Book Subtitle: 32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings
Editors: Hakjoo Oh, Yulei Sui
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-032-07106-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2026
Softcover ISBN: 978-3-032-07105-7Published: 08 October 2025
eBook ISBN: 978-3-032-07106-4Published: 07 October 2025
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XX, 423
Number of Illustrations: 49 b/w illustrations, 79 illustrations in colour
Topics: Computer Systems Organization and Communication Networks, Natural Language Processing (NLP), Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs
Keywords
- Abstract interpretation
- Automated deduction
- Data flow analysis
- Debugging techniques
- Deductive methods
- Emerging applications
- Model-checking
- Data science
- Program optimizations and transformations
- Program synthesis
- Program verification
- Machine learning and verification
- Security analysis
- Tool environments and architectures
- Theoretical frameworks
- Type checking
- Distributed or networked systems