Global variables make software systems hard to maintain and debug, and break local reasoning. They also impose a non-trivial challenge to static analysis which needs to model its effects to obtain sound analysis results. However, global variable initialization, codes of corresponding constructors and destructors as well as dynamic library code executed during load and unload not only affect control flows but data flows, too. The PhASAR static data-flow analysis framework does not handle these special cases and also does not provide any functionalities to model the effects of globals. Analysis writers are forced to model the desired effects in an ad-hoc manner increasing an analysis' complexity and imposing an additional repetitive task. In this paper, we present the challenges of modeling globals, elaborate on the impact they have on analysis information, and present a suitable model to capture their effects, allowing for an easier development of global-aware static data-flow analyses. We present an implementation of our model within the PhASAR framework and show its usefulness for an IDE-based linear-constant propagation that crucially requires correct modeling of globals for correctness.

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

Welcome to the 21st IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2021)! 

We hope that you enjoy the conference and that it will inspire you in your future research.

Should you require a certificate of participation please contact Alexander Serebrenik, the general chair of SCAM, at a.serebrenik@tue.nl.

For questions related to the Morressier virtual platform please contact support@morressier.com.