@INPROCEEDINGS{9610696,
  author={Schubert, Philipp Dominik and Sattler, Florian and Schiebel, Fabian and Hermann, Ben and Bodden, Eric},
  booktitle={2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}, 
  title={Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++}, 
  year={2021},
  volume={},
  number={},
  pages={12-17},
  doi={10.1109/SCAM52516.2021.00010}}