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

Author(s):  
Philipp Dominik Schubert ◽  
Florian Sattler ◽  
Fabian Schiebel ◽  
Ben Hermann ◽  
Eric Bodden
2021 ◽  
Author(s):  
Philipp Dominik Schubert ◽  
Florian Sattler ◽  
Fabian Schiebel ◽  
Ben Hermann ◽  
Eric Bodden

2007 ◽  
Vol 190 (3) ◽  
pp. 59-77 ◽  
Author(s):  
Alessandra Di Pierro ◽  
Chris Hankin ◽  
Herbert Wiklicky

2009 ◽  
Vol 51 (10) ◽  
pp. 1440-1453 ◽  
Author(s):  
Andrew Stone ◽  
Michelle Strout ◽  
Shweta Behere

Author(s):  
Francky Catthoor ◽  
Sven Wuytack ◽  
Eddy De Greef ◽  
Florin Balasa ◽  
Lode Nachtergaele ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document