Sign in

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

Philipp Dominik SchubertFlorian SattlerFabian SchiebelBen HermannEric Bodden
Published in: SCAM (2021)
Keyphrases