Static Analysis
26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Editors: Chang, Bor-Yuh Evan (Ed.)
Free PreviewBuy this book
- About this book
-
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019.
The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions.
The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.
- Table of contents (22 chapters)
-
-
Rethinking Static Analysis by Combining Discrete and Continuous Reasoning
Pages 3-16
-
Static Analysis of Data Science Software
Pages 17-23
-
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis
Pages 27-47
-
Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis
Pages 48-72
-
A Change-Based Heuristic for Static Analysis with Policy Iteration
Pages 73-95
-
Table of contents (22 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Static Analysis
- Book Subtitle
- 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
- Editors
-
- Bor-Yuh Evan Chang
- Series Title
- Programming and Software Engineering
- Series Volume
- 11822
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-32304-2
- DOI
- 10.1007/978-3-030-32304-2
- Softcover ISBN
- 978-3-030-32303-5
- Edition Number
- 1
- Number of Pages
- XIV, 481
- Number of Illustrations
- 1763 b/w illustrations, 374 illustrations in colour
- Topics
