TU Darmstadt / ULB / TUbiblio

A unified lattice model and framework for purity analyses

Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira :
A unified lattice model and framework for purity analyses.
[Online-Edition: https://dl.acm.org/citation.cfm?id=3238226]
In: ASE 2018, 3.-7.9.2018, Corum, Montpellier, France. Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering ACM
[ Konferenzveröffentlichung] , (2018)

Offizielle URL: https://dl.acm.org/citation.cfm?id=3238226

Kurzbeschreibung (Abstract)

Analyzing methods in object-oriented programs whether they areside-effect free and also deterministic, i.e.,mathematically pure, hasbeen the target of extensive research. Identifying such methodshelps to find code smells and security related issues, and also helpsanalyses detecting concurrency bugs.Puremethods are also usedby formal verification approaches as the foundations for specifi-cations and proving thepurenessis necessary to ensure correctspecifications. However, so far no common terminology exists which describesthe purity of methods. Furthermore, some terms (e.g.,pureorside-effect free) are also used inconsistently. Further, all current ap-proaches only report selected purity information making themonly suitable for a smaller subset of the potential use cases. In this paper, we present a fine-grained unified lattice modelwhich puts the purity levels found in the literature into relationand which adds a new level that generalizes existing definitions.We have also implemented a scalable, modularized purity analysiswhich produces significantly more precise results for real-worldprograms than the best-performing related work. The analysisshows that all defined levels are found in real-world projects.

Typ des Eintrags: Konferenzveröffentlichung ( nicht bekannt)
Erschienen: 2018
Autor(en): Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
Titel: A unified lattice model and framework for purity analyses
Sprache: Englisch
Kurzbeschreibung (Abstract):

Analyzing methods in object-oriented programs whether they areside-effect free and also deterministic, i.e.,mathematically pure, hasbeen the target of extensive research. Identifying such methodshelps to find code smells and security related issues, and also helpsanalyses detecting concurrency bugs.Puremethods are also usedby formal verification approaches as the foundations for specifi-cations and proving thepurenessis necessary to ensure correctspecifications. However, so far no common terminology exists which describesthe purity of methods. Furthermore, some terms (e.g.,pureorside-effect free) are also used inconsistently. Further, all current ap-proaches only report selected purity information making themonly suitable for a smaller subset of the potential use cases. In this paper, we present a fine-grained unified lattice modelwhich puts the purity levels found in the literature into relationand which adds a new level that generalizes existing definitions.We have also implemented a scalable, modularized purity analysiswhich produces significantly more precise results for real-worldprograms than the best-performing related work. The analysisshows that all defined levels are found in real-world projects.

Buchtitel: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
Verlag: ACM
Freie Schlagworte: Engineering; E1
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Softwaretechnik
DFG-Sonderforschungsbereiche (inkl. Transregio)
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche
Profilbereiche
Profilbereiche > Cybersicherheit (CYSEC)
LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1119: CROSSING – Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen
Veranstaltungstitel: ASE 2018
Veranstaltungsort: Corum, Montpellier, France
Veranstaltungsdatum: 3.-7.9.2018
Hinterlegungsdatum: 09 Okt 2018 12:24
DOI: 10.1145/3238147.3238226
Offizielle URL: https://dl.acm.org/citation.cfm?id=3238226
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen