@inproceedings{sss+21modeling, author = {Philipp Dominik Schubert and Florian Sattler and Fabian Schiebel and Ben Hermann and Eric Bodden}, title = {Modeling the Effects of Global Variables in Data-Flow Analysis for {C/C++}}, booktitle = {SCAM '21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track)}, year = {2021}, note = {To appear.}, }