Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006)
Incremental Confined Types Analysis.
6th Workshop on Language Descriptions, Tools, and Applications. Vienna, Austria (01.04.2006)
Konferenzveröffentlichung, Bibliographie
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: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2006 |
| Autor(en): | Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias |
| Art des Eintrags: | Bibliographie |
| Titel: | Incremental Confined Types Analysis |
| Sprache: | Englisch |
| Publikationsjahr: | April 2006 |
| Buchtitel: | LDTA'06-Sixth Workshop on Language Descriptions, Tools, and Applications |
| Veranstaltungstitel: | 6th Workshop on Language Descriptions, Tools, and Applications |
| Veranstaltungsort: | Vienna, Austria |
| Veranstaltungsdatum: | 01.04.2006 |
| URL / URN: | http://ldta.info/2006/ |
| 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. |
| Freie Schlagworte: | Aliasing, confined types, ownership types, Eclipse, static analysis |
| Zusätzliche Informationen: | Satellite event of The European Joint Conferences on Theory and Practice of Software (ETAPS 2006); also published in Electronic Notes in Theoretical Computer Science, Elsevier, Vol.164(2), October 2006 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Softwaretechnik |
| Hinterlegungsdatum: | 01 Okt 2009 13:00 |
| Letzte Änderung: | 01 Feb 2021 14:29 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum