Structural Encoding of Static Single Assignment Form

Andreas Gal, Christian W. Probst, Michael Franz

AbstractStatic Single Assignment (SSA) form is often used as an intermediate representation during code optimization in Java Virtual Machines. Recently, SSA has successfully been used for bytecode verification. However, constructing SSA at the code consumer is costly. SSAbased mobile code transport formats have been shown to eliminate this cost by shifting SSA creation to the code producer. These new formats, however, are not backward compatible with the established Java class-file format. We propose a novel approach to transport SSA information implicitly through structural code properties of standard Java bytecode. While the resulting bytecode sequence can still be directly executed by traditional Virtual Machines, our novel VM can infer SSA form and confirm its safety with virtually no overhead.
Keywordsmobile code, verification, optimization
TypeJournal paper [With referee]
JournalElectronic Notes in Theoretical Computer Science
Year2005    Month December    Vol. 141    No. 2    pp. 85-102
Electronic version(s)[pdf]
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering