ISBN: 3-540-66459-9
TITLE: Static Analysis
AUTHOR: Cortesi, Agostino; File, Gilberto (Eds.)
TOC:

Synchronization in JAVA Programs
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives 1
John Hatcliff, James Corbett, Matthew Dwyer, Stefan Sokolowski, Hongjun Zheng
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs 19
Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, and Susan Eggers
Synchronous Languages
Dynamic Partitioning in Analyses of Numerical Properties 39
Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond
Polyhedral Analysis for Synchronous Languages 51
Frderic Besson, Thomas Jensen, Jean-Pierre Talpin
Abstract Domains
Decomposing Non-Redundant Sharing by Complementation 69
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
Freeness Analysis Through Linear Refinement 85
Patricia Hill, Fausto Spoto
Binary Decision Graphs 101
Laurent Mauborgne
Binding-Time Analysis for Both Static and Dynamic Expressions 117
Kenichi Asai
Concurrency
Abstract Interpretation of Mobile Ambients 134
Ren Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson
Abstracting Cryptographic Protocols with Tree Automata 149
David Monniaux
State Space Reduction Based on Live Variables Analysis 164
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Static Single Assignment
Partial Dead Code Elimination Using Extended Value Graph 179
Munehiro Takimoto, Kenichi Harada
Translating Out of Single Assignment Form 194
Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies,
Vatsa Santhanam
Optimizations
Eliminating Dead Code on Recursive Data 211
Yanhong A. Liu, Scott D. Stoller
Detecting Equalities of Variables Combining Efficiency with Precision 232
Oliver Rthing, Jens Knoop, Bernhard Steffen
Foundations
A New Class of Functions for Abstract Interpretation 248
Jrg Kller, Markus Mohnen
Equational Semantics 264
Loc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
Abstract Animator for Temporal Specifications Application to TLA 284
Dominique Cansell, Dominique Mry
Invited Talks and Tutorials
Static Analysis of Mega-Programs 300
Daniel Weise
Safety versus Secrecy 303
Dennis Volpano
On the Complexity Analysis of Static Analyses 312
David McAllester
Model-Checking. A Tutorial Introduction 330
Markus Mller-Olm, David Schmidt, Bernhard Steffen
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis 355
Mary Lou Soffa
Author Index 359
END
