SPLLIFT: statically analyzing software product lines in minutes instead of years
@article{Bodden2014SPLLIFTSA, title={SPLLIFT: statically analyzing software product lines in minutes instead of years}, author={E. Bodden and T. Tol{\^e}do and M{\'a}rcio Ribeiro and Claus Brabrand and Paulo Borba and M. Mezini}, journal={Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation}, year={2014} }
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… CONTINUE READING
Figures, Tables, and Topics from this paper
89 Citations
Automatic and efficient variability-aware lifting of functional programs
- Computer Science
- Proc. ACM Program. Lang.
- 2020
- 1
- PDF
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
- Computer Science
- ECOOP
- 2015
- 21
- PDF
Finding suitable variability abstractions for lifted analysis
- Computer Science
- Formal Aspects of Computing
- 2019
- 7
- PDF
Syntax-preserving slicing of C-based software product lines: an experience report
- Computer Science
- VaMoS
- 2020
Systematic derivation of correct variability-aware program analyses
- Computer Science
- Sci. Comput. Program.
- 2015
- 29
- PDF
Effective Analysis of C Programs by Rewriting Variability
- Computer Science
- Art Sci. Eng. Program.
- 2017
- 15
- PDF
Identifying inactive code in product lines with configuration-aware system dependence graphs
- Engineering, Computer Science
- SPLC
- 2014
- 21
References
SHOWING 1-5 OF 5 REFERENCES
Virtual Separation of Concerns: Toward Preprocessors 2.0
- Computer Science
- it Inf. Technol.
- 2012
- 79
- Highly Influential
- PDF
Feature Models, Grammars, and Propositional Formulas
- Computer Science
- SPLC
- 2005
- 1,226
- Highly Influential
- PDF
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation
- Computer Science
- TAPSOFT
- 1995
- 112
- Highly Influential
- PDF