TU Darmstadt / ULB / TUbiblio

Incremental Confined Types Analysis

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias :
Incremental Confined Types Analysis.
In: Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006). Electronic Notes in Theoretical Computer Science, 164 (2). Elsevier
[Buchkapitel], (2006)

Dies ist die neueste Version dieses Eintrags.

Kurzbeschreibung (Abstract)

Research related to alias protection and related concepts, such as, confined types and ownership types has a long tradition and is a promising concept for the design and implementation of more reliable and secure software. Unfortunately, the use of these concepts is not widespread as most implementations are proofs of concept and fall short with respect to the integration with standard software development tools and processes. In this paper, we discuss an implementation of confined types based on Java 5 annotations. The contribution of this paper is twofold: First, we discuss the incrementalization of the confined types analysis and second, we present the integration of the analysis into Eclipse using the static analysis platform Magellan.

Typ des Eintrags: Buchkapitel
Erschienen: 2006
Autor(en): Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias
Titel: Incremental Confined Types Analysis
Sprache: Englisch
Kurzbeschreibung (Abstract):

Research related to alias protection and related concepts, such as, confined types and ownership types has a long tradition and is a promising concept for the design and implementation of more reliable and secure software. Unfortunately, the use of these concepts is not widespread as most implementations are proofs of concept and fall short with respect to the integration with standard software development tools and processes. In this paper, we discuss an implementation of confined types based on Java 5 annotations. The contribution of this paper is twofold: First, we discuss the incrementalization of the confined types analysis and second, we present the integration of the analysis into Eclipse using the static analysis platform Magellan.

Buchtitel: Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006)
Reihe: Electronic Notes in Theoretical Computer Science
Band: 164
(Heft-)Nummer: 2
Verlag: Elsevier
Freie Schlagworte: Aliasing; confined types; ownership types; Eclipse; static analysis
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Softwaretechnik
Hinterlegungsdatum: 01 Okt 2009 13:00
ID-Nummer: 10.1016/j.entcs.2006.10.006
Export:

Verfügbare Versionen dieses Eintrags

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen