P. Schubert 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, Art. no. 35, 2022, doi:10.1007/s10515-022-00333-1 .