دانلود کتاب Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

فهرست مطالب :

Front Matter....Pages I-XVI
Static Analysis of Non-interference in Expressive Low-Level Languages....Pages 1-17
Static Analysis with Set-Closure in Secrecy....Pages 18-35
A Binary Decision Tree Abstract Domain Functor....Pages 36-53
Precise Data Flow Analysis in the Presence of Correlated Method Calls....Pages 54-71
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization....Pages 72-89
Shape Analysis for Unstructured Sharing....Pages 90-108
Synthesizing Heap Manipulations via Integer Linear Programming....Pages 109-127
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR....Pages 128-144
Safety Verification and Refutation by k-Invariants and k-Induction....Pages 145-161
Effective Soundness-Guided Reflection Analysis....Pages 162-180
SJS: A Type System for JavaScript with Fixed Object Layout....Pages 181-198
Refinement Type Inference via Horn Constraint Optimization....Pages 199-216
A Simple Abstraction of Arrays and Maps by Program Translation....Pages 217-234
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization....Pages 235-251
Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis....Pages 252-274
Parallel Cost Analysis of Distributed Systems....Pages 275-292
A Forward Analysis for Recurrent Sets....Pages 293-311
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration....Pages 312-331
Back Matter....Pages 333-333