Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++ | IEEE Conference Publication | IEEE Xplore