Aarhus University Seal

Talk by Claus Brabrand: Statically Analyzing Software Product Lines in Minutes Instead of Years

Info about event


Friday 24 May 2013,  at 14:15 - 15:15


5520-112 INCUBA Undervisning


Dept. of Computer Science, Aarhus University

Claus Brabrand

Lars Birkedal

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.

Using a full implementation based on Heros, Soot, CIDE and JavaBDD, we show that with our approach, SPL^{LIFT}, 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 show that our approach produces correct results and outperforms the traditional approach by several orders of magnitude.

Joint work with:
- Eric Bodden, Tarsis Toledo, Marcio Ribeiro, Paulo Borba, Mira Mezini.

Based on work published at:
- AOSD 2012, TAOSD 2013, PLDI 2013.