Interprocedural Static Single Assignment Form

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Stefan Staiger Articles by Gunther Vogel Articles by Steffen Keul Articles by Eduard Wiebe

14th Working Conference on Reverse Engineering (WCRE 2007)

Vancouver, BC, Canada

October 28-October 31

ISBN: 0-7695-3034-6

	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 -

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WCRE.2007.31

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.