schubert-asej-2022.bib

effectively encoding software product lines. These preprocessor directives, however, challenge any static code analysis. SPLlift, a previously presented approach for analyzing software product lines, is limited [...] {Schubert2022}, Isbn = {1573-7535}, Journal = {Automated Software Engineering}, Number = {1}, Pages = {35}, Title = {Static data-flow analysis for software product lines in C}, Ty = {JOUR}, Url = {https://doi [...] with a finite and ideally small domain. Other approaches that allow the analysis of real-world C software product lines use special-purpose analyses, preventing the reuse of existing analysis infrastructures …