Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. - Philipp Dominik Schubert; Florian Sattler; Fabian Schiebel; Ben Hermann; Eric Bodden (SCAM, 2021)

Static data-flow analysis for software product lines in C. - Philipp Dominik Schubert; Paul Gazzillo; Zach Patterson; Julian Braha; Fabian Schiebel; Ben Hermann; Shiyi Wei; Eric Bodden (Autom. Softw. Eng., 2022)

Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. - Fabian Schiebel; Florian Sattler; Philipp Dominik Schubert; Sven Apel; Eric Bodden (ECOOP, 2024)

Supplementary Material for the paper: "Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report". - Fabian Schiebel; Florian Sattler; Philipp Dominik Schubert; Sven Apel; Eric Bodden (Zenodo, 2024)