loading...
Interprocedural Static Single Assignment Form
Vancouver, BC, Canada October 28-October 31
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WCRE.2007.3114th Working Conference on Reverse En ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Stefan Staiger, Gunther Vogel, Steffen Keul, Eduard Wiebe, "Interprocedural Static Single Assignment Form," Reverse Engineering, Working Conference on, pp. 1-10, 14th Working Conference on Reverse Engineering (WCRE 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/WCRE.2007.31,
author = {Stefan Staiger and Gunther Vogel and Steffen Keul and Eduard Wiebe},
title = {Interprocedural Static Single Assignment Form},
journal ={Reverse Engineering, Working Conference on},
volume = {0},
year = {2007},
issn = {1095-1350},
pages = {1-10},
doi = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2007.31},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Reverse Engineering, Working Conference on
TI - Interprocedural Static Single Assignment Form
SN - 1095-1350
SP1
EP10
A1 - Stefan Staiger,
A1 - Gunther Vogel,
A1 - Steffen Keul,
A1 - Eduard Wiebe,
PY - 2007
VL - 0
JA - Reverse Engineering, Working Conference on
ER -
 
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which uses an abstract program representation enabling us to use different pointer analyses ranging from fast but imprecise to slow but precise ones. Our implementation includes the computation of (may and must) side effects and optimiza- tions like pruning definitions with simple linear-time algo- rithms. This paper also provides comprehensive test results and statistics for a large test suite.
Citation:
Stefan Staiger, Gunther Vogel, Steffen Keul, Eduard Wiebe, "Interprocedural Static Single Assignment Form," wcre, pp.1-10, 14th Working Conference on Reverse Engineering (WCRE 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.