Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++

Schubert, Philipp Dominik; Sattler, Florian; Schiebel, Fabian; Hermann, Ben; Bodden, Eric

Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++ (bibtex)

@inproceedings{sss+21modeling,
  title={Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++},
  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)},
  pages={12--17},
  year={2021},
  url = {https://www.bodden.de/pubs/sss+21modeling.pdf},
  organization={IEEE}
}