Structural Encoding of Static Single Assignment Form

Andreas Gal, Christian Probst, Michael Franz

    Research output: Contribution to journalJournal articleResearchpeer-review

    202 Downloads (Pure)


    Static 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.
    Original languageEnglish
    JournalElectronic Notes in Theoretical Computer Science
    Issue number2
    Pages (from-to)85-102
    Publication statusPublished - 2005


    • verification
    • optimization
    • mobile code


    Dive into the research topics of 'Structural Encoding of Static Single Assignment Form'. Together they form a unique fingerprint.

    Cite this