Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines in C.”10.1007/s10515-022-00333-1__Automated Software Engineering, vol. 29, no. 1, 35, Springer Science and Business Media LLC, 2022, doi:10.1007/s10515-022-00333-1.