Restructuring Assembly Code Using Formal Transformations

Pracner, Doni; Budimac, Zoran

doi:10.1063/1.3636865

Search citation statements

Order By: Relevance

Paper Sections

Select...

Formal Transformations1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

Publication Types

Select...

Article1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An alternate approach to the translation process was presented in an earlier paper by the authors . The goal of the created tool asm2wsl (available on the project's web site under the terms of GPL) was to translate all of the aspects of the original assembly to high level structures in WSL with no auxiliary files.…”

Section: Formal Transformationsmentioning

confidence: 99%

Enabling code transformations with FermaT on simplified bytecode

Pracner

Budimac

2017

J Software Evolu Process

Self Cite

View full text Add to dashboard Cite

This paper presents a new approach for working with Java bytecode that uses existing tools (FermaT and the wide spectrum language) that have been industrially tested and proven in transforming legacy assembly code. The first step has been a successful translator that works with a subset language (MicroJava) and enables the usage of formal transformations in FermaT to restructure the code from a machine level to human readable high level structures, both automatically and manually. It mostly relies on the existing transformations, but some new ones were introduced in this work, and some old ones were modified.

show abstract

Section: Formal Transformationsmentioning

confidence: 99%