Limit search to available items
Book Cover
E-book
Author SAS (Symposium) (26th : 2019 : Porto, Portugal)

Title Static analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings / Bor-Yuh Evan Chang (ed.)
Published Cham, Switzerland : Springer, 2019

Copies

Description 1 online resource (xiv, 481 pages) : illustrations (some color)
Series Lecture notes in computer science ; 11822
Advanced research in computing and software science
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 11822.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Intro; Preface; Organization; Abstracts of Invited Contributions; Towards Semantic Adversarial Examples; Learning Verifiers and Verifying Learners; Contents; Invited Contributions; Rethinking Static Analysis by Combining Discrete and Continuous Reasoning; 1 Introduction; 2 Illustrative Overview; 3 A Taxonomy of Research Directions; 3.1 Balancing Analysis Tradeoffs; 3.2 Tailoring Analysis Results; 3.3 Analysis Specification and Implementation; 4 Conclusions; References; Static Analysis of Data Science Software; 1 Introduction; 2 Key Challenges; 3 Research Questions; 4 Related Work
5 ConclusionReferences; Pointers and Dataflow; Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis; 1 Introduction; 2 Background and Motivating Example; 2.1 Program Representation and Field-Sensitive Analysis; 2.2 A Motivating Example; 3 Our Approach; 3.1 Stride-Based Field Representation; 3.2 Inference Rules; 3.3 An Algorithm; 4 Experimental Evaluation; 4.1 Implementation and Experimental Setup; 4.2 Results and Analysis; 5 Related Work; 6 Conclusion; References; Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis
1 Introduction2 Preliminaries; 3 Illustrating Examples; 3.1 Aliasing and Control-Flow Reachability: Separately vs. Synergistically; 3.2 Synergizing Pointer Analysis and Control-Flow Reachability Analysis: On-Demand with Adaptive Context-Sensitivity; 4 Our Approach; 4.1 Value-Flow Graph Construction; 4.2 Demand-Driven Context-Sensitive Pointer Analysis; 4.3 Synergizing Aliasing and Control-Flow Reachability; 4.4 Adaptive Context-Sensitivity; 4.5 Soundness; 5 Evaluation; 5.1 Methodology; 5.2 Results and Analysis; 6 Related Work; 7 Conclusion; References
A Change-Based Heuristic for Static Analysis with Policy Iteration1 Introduction; 2 Relative Change Analysis; 2.1 Formal Definition; 3 Change-Based Heuristic; 4 Evaluation; 5 Conclusion; 5.1 Future Work; A Evaluated programs; B Detailed Evaluation Results; C Formulas; References; 6 Syntactic and Semantic Soundnessof Structural Dataflow Analysis; 1 Introduction; 2 Syntax and Trace Semantics; 2.1 Program labels; 2.2 Traces; 2.3 Trace semantics; 2.4 Formal definition of the prefix trace semantics; 2.5 Definition of the maximal trace semantics
3 The semantic and syntactic liveness/deadness abstractions3.1 The generic liveness/deadness abstractions; 3.2 The semantic liveness/deadness abstractions; 3.3 The classical syntactic liveness/deadness abstractions; 3.4 Unsoundness of the syntactic liveness/deadness abstractions; 3.5 Soundness of the syntactic liveness/deadness abstractionswith respect to revised syntactic/semantic liveness/deadnessabstractions; 4 Calculational design of the structural syntactic potential liveness static analysis; 5 Calculational design of the syntactic structuraldeadness static analysis
Summary 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. -- Provided by publisher
Notes International conference proceedings
Includes author index
Online resource; title from PDF title page (SpringerLink, viewed October 9, 2019)
Subject Computer programming -- Congresses
Software engineering -- Congresses
Computer programming
Software engineering
Genre/Form Electronic books
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Chang, Bor-Yuh Evan, editor.
ISBN 9783030323042
3030323048
Other Titles SAS 2019