Technischer Bericht TR-2007-03

Bibliograph.
Daten
Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form in Bauhaus.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Technischer Bericht Informatik Nr. 2007/03.
17 Seiten, englisch.
CR-Klassif.D.2.7 (Software Engineering Distribution, Maintenance, and Enhancement)
F.3.2 (Semantics of Programming Languages)
KeywordsSSA form; data flow; static interprocedural analysis; Bauhaus
Kurzfassung

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 optimizations like pruning definitions with simple linear-time algorithms. This paper also provides comprehensive test results and statistics for a large test suite.

Volltext und
andere Links
PDF (302808 Bytes)
PostScript (2207182 Bytes)
Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
Eingabedatum9. November 2007
   Publ. Informatik