SPLLIFT: Statically Analyzing Software Product Lines in Minutes instead of Years

Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

Abstrakt

A software product line (SPL) encodes a potentially large variety
of software products as variants of some common code base. Up
until now, re-using traditional static analyses for SPLs was virtually intractable, as it required programmers to generate and analyze
all products individually. In this work, however, we show how an
important class of existing inter-procedural static analyses can be
transparently lifted to SPLs. Without requiring programmers to
change a single line of code, our approach SPLLIFT automatically
converts any analysis formulated for traditional programs within the
popular IFDS framework for inter-procedural, finite, distributive,
subset problems to an SPL-aware analysis formulated in the IDE
framework, a well-known extension to IFDS. Using a full implementation based on Heros, Soot, CIDE and JavaBDD, we show that
with SPLLIFT one can reuse IFDS-based analyses without changing a single line of code. Through experiments using three static
analyses applied to four Java-based product lines, we were able to
show that our approach produces correct results and outperforms
the traditional approach by several orders of magnitude.

OriginalsprogEngelsk
TidsskriftA C M / S I G P L A N Notices
Vol/bind48
Udgave nummer6
Sider (fra-til)355-364
Antal sider10
ISSN1523-2867
DOI
StatusUdgivet - jun. 2013
BegivenhedACM SIGPLAN Conference on Programming language design and implementation - http://pldi2013.ucombinator.org/, Seattle, WA, USA
Varighed: 16 jun. 201322 jun. 2013
Konferencens nummer: 34
http://pldi2013.ucombinator.org/

Konference

KonferenceACM SIGPLAN Conference on Programming language design and implementation
Nummer34
Lokationhttp://pldi2013.ucombinator.org/
Land/OmrådeUSA
BySeattle, WA
Periode16/06/201322/06/2013
Internetadresse

Fingeraftryk

Dyk ned i forskningsemnerne om 'SPLLIFT: Statically Analyzing Software Product Lines in Minutes instead of Years'. Sammen danner de et unikt fingeraftryk.

Citationsformater