Show simple item record

dc.contributor.authorHelm, Dominik
dc.contributor.authorKübler, Florian
dc.contributor.authorEichberg, Michael
dc.contributor.authorReif, Michael
dc.contributor.authorMezini, Mira
dc.contributor.editorBecker, Steffen
dc.contributor.editorBogicevic, Ivan
dc.contributor.editorHerzwurm, Georg
dc.contributor.editorWagner, Stefan
dc.date.accessioned2019-03-14T11:49:12Z
dc.date.available2019-03-14T11:49:12Z
dc.date.issued2019
dc.identifier.isbn978-3-88579-686-2
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/20868
dc.description.abstractThis paper was presented in 2018 at the 33rd ACM/IEEE International Conference on Automated Software Engineering and proposes a framework for purity analyses. Analyzing methods in object-oriented programs whether they are side-effect free and also deterministic, i.e., mathematically pure, has been the target of extensive research. Identifying such methods helps to find code smells and security related issues, and helps analyses detecting concurrency bugs. Pure methods are further used for formal specifications and proving the pureness is necessary to ensure correct specifications. However, no common terminology exists which describes the purity of methods. Furthermore, some terms (e.g., pure or side-effect free) are used inconsistently. Further, all current approaches only report selected purity information making them only suitable for a smaller subset of the potential use cases. We present a fine-grained unified lattice model which puts the purity levels found in the literature into relation and which adds a new level that generalizes existing definitions. We have also implemented a scalable, modularized purity analysis which produces significantly more precise results for real-world programs than the best-performing related work. The analysis shows that all defined levels are found in real-world projects.en
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering and Software Management 2019
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-292
dc.subjectPurity
dc.subjectSide-effects
dc.subjectStatic Analysis
dc.subjectLattice
dc.subjectJava
dc.titleA Unified Lattice Model and Framework for Purity Analysesen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages51-52
mci.conference.sessiontitleSession 3: Programmanalyse und Verifikation I und Funktionale Sicherheit
mci.conference.locationStuttgart, Germany
mci.conference.date18.-22. Februar 2019
dc.identifier.doi10.18420/se2019-10


Files in this item

Thumbnail

Show simple item record