SPLLIFT: statically analyzing software product lines in minutes instead of years. SPLlift is an approach that lets you automatically reuse inter-procedural static data-flow analyses implemented in the IFDS framework also for entire Software Product Lines (SPLs). If, for normal programs, the analysis reports that a piece of analysis information may or may not hold at a given statement, the SPL-version reports a Boolean constraint telling you under which feature combinations this fact could hold at that statement. This all can be done without having to change a single line of code on the side of the client analysis.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Iosif-Lazăr, Alexandru F.; Wąsowski, Andrzej: Trustworthy variant derivation with translation validation for safety critical product lines (2016)
- von Rhein, Alexander; Thüm, Thomas; Schaefer, Ina; Liebig, Jörg; Apel, Sven: Variability encoding: from compile-time to load-time variability (2016)