Skip to main content
main-content

Über dieses Buch

This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Inhaltsverzeichnis

Frontmatter

2013 | OriginalPaper | Buchkapitel

Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT

Eric Goubault

2013 | OriginalPaper | Buchkapitel

Static Analysis in the Continuously Changing World

Sriram Sankaranarayanan

2013 | OriginalPaper | Buchkapitel

Abstract Interpretation over Non-lattice Abstract Domains

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

2013 | OriginalPaper | Buchkapitel

Localizing Widening and Narrowing

Gianluca Amato, Francesca Scozzari

2013 | OriginalPaper | Buchkapitel

The Abstract Domain of Segmented Ranking Functions

Caterina Urban

2013 | OriginalPaper | Buchkapitel

Symbolic Automata for Static Specification Mining

Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang

2013 | OriginalPaper | Buchkapitel

Predicate Abstraction for Relaxed Memory Models

Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav

2013 | OriginalPaper | Buchkapitel

On Solving Universally Quantified Horn Clauses

Nikolaj Bjørner, Ken McMillan, Andrey Rybalchenko

2013 | OriginalPaper | Buchkapitel

From Concrete Examples to Heap Manipulating Programs

Subhajit Roy

2013 | OriginalPaper | Buchkapitel

Local Shape Analysis for Overlaid Data Structures

Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu

2013 | OriginalPaper | Buchkapitel

Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists

Pranav Garg, P. Madhusudan, Gennaro Parlato

2013 | OriginalPaper | Buchkapitel

Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing

Hyunha Kim, Kyung-Goo Doh, David A. Schmidt

2013 | OriginalPaper | Buchkapitel

Byte-Precise Verification of Low-Level List Manipulation

Kamil Dudka, Petr Peringer, Tomáš Vojnar

2013 | OriginalPaper | Buchkapitel

Abstract Semantic Differencing for Numerical Programs

Nimrod Partush, Eran Yahav

2013 | OriginalPaper | Buchkapitel

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation

Raghavan Komondoor

2013 | OriginalPaper | Buchkapitel

Automatic Synthesis of Deterministic Concurrency

Veselin Raychev, Martin Vechev, Eran Yahav

2013 | OriginalPaper | Buchkapitel

Witnessing Program Transformations

Kedar S. Namjoshi, Lenore D. Zuck

2013 | OriginalPaper | Buchkapitel

Formal Verification of a C Value Analysis Based on Abstract Interpretation

Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie

2013 | OriginalPaper | Buchkapitel

Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra

Alexis Fouilhe, David Monniaux, Michaël Périn

2013 | OriginalPaper | Buchkapitel

Static Provenance Verification for Message Passing Programs

Rupak Majumdar, Roland Meyer, Zilong Wang

2013 | OriginalPaper | Buchkapitel

Verification as Learning Geometric Concepts

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori

2013 | OriginalPaper | Buchkapitel

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL

Martin Brain, Vijay D’Silva, Alberto Griggio, Leopold Haller, Daniel Kroening

2013 | OriginalPaper | Buchkapitel

Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation

Leo White, Alan Mycroft

2013 | OriginalPaper | Buchkapitel

Automatic Verification of Erlang-Style Concurrency

Emanuele D’Osualdo, Jonathan Kochems, C. -H. Luke Ong

2013 | OriginalPaper | Buchkapitel

Contextual Locking for Dynamic Pushdown Networks

Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner

Backmatter

Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!

Bildnachweise