Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2020)
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, 164 (2)
doi: 10.25534/tuprints-00014558
Article, Secondary publication, Publisher's Version
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: | Article |
|---|---|
| Erschienen: | 2020 |
| Creators: | Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias |
| Type of entry: | Secondary publication |
| Title: | Incremental Confined Types Analysis |
| Language: | English |
| Date: | 2020 |
| Publisher: | Elsevier |
| Journal or Publication Title: | Electronic Notes in Theoretical Computer Science |
| Volume of the journal: | 164 |
| Issue Number: | 2 |
| DOI: | 10.25534/tuprints-00014558 |
| URL / URN: | https://tuprints.ulb.tu-darmstadt.de/14558 |
| Corresponding Links: | |
| Origin: | Secondary publication via Golden Open Access |
| 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. |
| Status: | Publisher's Version |
| URN: | urn:nbn:de:tuda-tuprints-145587 |
| Classification DDC: | 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik |
| Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Software Technology |
| Date Deposited: | 04 Dec 2020 08:57 |
| Last Modified: | 28 Sep 2023 11:48 |
| PPN: | |
| Corresponding Links: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum