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,
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.},
}