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

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

Browse the full SCAM paper archive.