Schubert, Philipp, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, and Eric Bodden. “Static Data-Flow Analysis for Software Product Lines in C.”https://doi.org/10.1007/s10515-022-00333-1__Automated Software Engineering 29, no. 1 (2022).https://doi.org/10.1007/s10515-022-00333-1 .