TU Darmstadt / ULB / TUbiblio

Incremental Confined Types Analysis

Eichberg, Michael and Kanthak, Sebastian and Kloppenburg, Sven and Mezini, Mira and Schuh, Tobias (2006):
Incremental Confined Types Analysis.
In: Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006), Elsevier, [Book Section]

This is the latest version of this item.

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.

Item Type: Book Section
Erschienen: 2006
Creators: Eichberg, Michael and Kanthak, Sebastian and Kloppenburg, Sven and Mezini, Mira and Schuh, Tobias
Title: Incremental Confined Types Analysis
Language: English
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.

Title of Book: Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006)
Series Name: Electronic Notes in Theoretical Computer Science
Volume: 164
Number: 2
Publisher: Elsevier
Uncontrolled Keywords: Aliasing; confined types; ownership types; Eclipse; static analysis
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Technology
Date Deposited: 01 Oct 2009 13:00
Identification Number: doi:10.1016/j.entcs.2006.10.006
Export:

Available Versions of this Item

Optionen (nur für Redakteure)

View Item View Item