The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007). The meeting was held August, 22–24, 2007, at the Technical University of Denmark (DTU) in Kongens L- gby, Denmark. In response to the call for papers, 85 submissions were received. Each submission was reviewed by at least 3 experts and, based on these reports, 26 papers were selected after a week of intense electronic discussion using the EasyChair conference system. In addition to these 26 papers, this volume also containscontributionsbythetwoinvitedspeakers:FrankTip(IBMT.J.Watson Research Center, USA) and Alan Mycroft (Cambridge University, UK). On the behalf of the Program Committee, the Program Chairs would like to thank all the authors who submitted their work to the conference and also all the external referees who have been indispensable for the selection process. Special thanks go to TerkelTolstrup and J¨ org Bauer,who helped in handing the submitted papers and in organizing the structure of this volume. We would also like to thank the members of the Organizing Committee at DTU for their great work. Finally we want to thank the PhD school ITMAN at DTU for ?nancial support.
Author(s): Frank Tip (auth.), Hanne Riis Nielson, Gilberto Filé (eds.)
Series: Lecture Notes in Computer Science 4634 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 469
Tags: Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Techniques
Front Matter....Pages -
Refactoring Using Type Constraints....Pages 1-17
Programming Language Design and Analysis Motivated by Hardware Evolution....Pages 18-33
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages....Pages 34-51
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification....Pages 52-68
Compositional Verification and 3-Valued Abstractions Join Forces....Pages 69-86
Formalised Inductive Reasoning in the Logic of Bunched Implications....Pages 87-103
Optimal Abstraction on Real-Valued Programs....Pages 104-120
Taming the Wrapping of Integer Arithmetic....Pages 121-136
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic....Pages 137-152
A Framework for End-to-End Verification and Evaluation of Register Allocators....Pages 153-169
A New Algorithm for Identifying Loops in Decompilation....Pages 170-183
Accelerated Data-Flow Analysis....Pages 184-199
Abstract Error Projection....Pages 200-217
Precise Thread-Modular Verification....Pages 218-232
Modular Safety Checking for Fine-Grained Concurrency....Pages 233-248
Static Analysis of Dynamic Communication Systems by Partner Abstraction....Pages 249-264
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis....Pages 265-280
Hierarchical Pointer Analysis for Distributed Programs....Pages 281-297
Semantics-Based Transformation of Arithmetic Expressions....Pages 298-314
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware....Pages 315-332
Fixpoint-Guided Abstraction Refinements....Pages 333-348
Guided Static Analysis....Pages 349-365
Program Analysis Using Symbolic Ranges....Pages 366-383
Shape Analysis with Structural Invariant Checkers....Pages 384-401
Footprint Analysis: A Shape Analysis That Discovers Preconditions....Pages 402-418
Arithmetic Strengthening for Shape Analysis....Pages 419-436
Astrée: From Research to Industry....Pages 437-451
Magic-Sets Transformation for the Analysis of Java Bytecode....Pages 452-467
Back Matter....Pages -
