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}
}
  • E. Bodden, T. Tolêdo, +3 authors M. Mezini
  • Published 2014
  • Computer Science
  • Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation
  • 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
    89 Citations

    Figures, Tables, and Topics from this paper

    Automatic and efficient variability-aware lifting of functional programs
    • 1
    • PDF
    Finding suitable variability abstractions for lifted analysis
    • 7
    • PDF
    Syntax-preserving slicing of C-based software product lines: an experience report
    Variability abstractions for lifted analyses
    • 4
    • PDF
    Analysis and Transformation of Configurable Systems
    • 3
    • Highly Influenced
    • PDF
    Lifting Datalog-based analyses to software product lines
    • 3
    • PDF

    References

    SHOWING 1-5 OF 5 REFERENCES
    Analysis Strategies for Software Product Lines
    • 75
    • Highly Influential
    • PDF
    Virtual Separation of Concerns: Toward Preprocessors 2.0
    • 79
    • Highly Influential
    • PDF
    Feature Models, Grammars, and Propositional Formulas
    • 1,226
    • Highly Influential
    • PDF
    Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation
    • 112
    • Highly Influential
    • PDF
    Soot---a java optimization framework
    • 613
    • Highly Influential