Re: Assembly to C for 16bit microcontroller

"Martin Ward" <Martin.Ward@durham.ac.uk>
24 Oct 2002 23:59:52 -0400

          From comp.compilers

Related articles
Assembly to C for 16bit microcontroller bubunia2000@yahoo.co.in (Sobhan) (2002-10-13)
Re: Assembly to C for 16bit microcontroller Martin.Ward@durham.ac.uk (Martin Ward) (2002-10-24)
| List of all articles for this month |

From: "Martin Ward" <Martin.Ward@durham.ac.uk>
Newsgroups: comp.compilers
Date: 24 Oct 2002 23:59:52 -0400
Organization: Compilers Central
Keywords: disassemble
Posted-Date: 24 Oct 2002 23:59:52 EDT

> Iam searching for a tool which will convert the
> C165/C166/C167(infineon) assembly instruction set into C
> language..Does any body know any freeware of it?? If anybody know
> tool which will convert the 8086 assembly instruction set to C
> language also suffice my objective as it will be almost
> similar,right??
> Regds Sobhan
> [What you're looking for is known as a decompiler. They've been
> discussed at length here. A few that did extensive analysis of
> the code worked sort of OK, most give you no more than assembly
> code with C syntax. -John]


I am currently working on a project to migrate over 500,000 lines of
80186 assembler to C. This uses the FermaT transformation system,
http://www.cse.dmu.ac.uk/~mward/fermat.html, to do the (essential)
extensive analysis of the code. A proprietary assembler to WSL
translator translates the assembler source code into WSL (a wide
Spectrum Language which is particularly designed for program analysis
and transformation).


Extensive WSL to WSL transformations are carried out automatically
using the FermaT transformation system (the core of the system and
most of the transformations are freeware, but this project also uses
some proprietary x86-specific transformations). The transformations
include control flow restructuring, dataflow analysis and computing
control dependencies, constant propagation, and copy propagation.


Finally, the restructured WSL code is translated to C via another
proprietary translator.


More details, including a case study paper, will be made available on
completion of the project, but please feel free to email me if you are
interested.


Martin


Martin.Ward@durham.ac.uk http://www.cse.dmu.ac.uk/~mward/


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.