Re: Taking an AST back into C

vbdis@aol.com (VBDis)
11 Dec 2004 12:26:20 -0500

          From comp.compilers
Related articles
Taking an AST back into C nb_no_spam@synthcom.com (Neil Bradley) (2004-11-28)
Re: Taking an AST back into C Martin.Ward@durham.ac.uk (Martin Ward) (2004-12-01)
Re: Taking an AST back into C torbenm@diku.dk (2004-12-01)
Re: Taking an AST back into C vbdis@aol.com (2004-12-01)
Re: Taking an AST back into C vbdis@aol.com (2004-12-05)
Re: Taking an AST back into C vbdis@aol.com (2004-12-05)
Re: Taking an AST back into C vbdis@aol.com (2004-12-11)
Re: Taking an AST back into C Martin.Ward@durham.ac.uk (Martin Ward) (2004-12-11)
Re: Taking an AST back into C vbdis@aol.com (2004-12-13)
| List of all articles for this month |
From: vbdis@aol.com (VBDis)
Newsgroups: comp.compilers
Date: 11 Dec 2004 12:26:20 -0500
Organization: AOL Bertelsmann Online GmbH & Co. KG http://www.germany.aol.com
References: 04-12-006
Keywords: decompile
Posted-Date: 11 Dec 2004 12:26:20 EST

Martin Ward <Martin.Ward@durham.ac.uk> schreibt:


>The totally automated technique is to translate the assembler into
>WSL, apply several thousand WSL to WSL transformations (per module),
>and then translate the restructured and simplified WSL into C. See
>the paper "Pigs from Sausages? Reengineering from Assembler to C via
>FermaT Transformations" at
>http://www.cse.dmu.ac.uk/~mward/martin/papers/


Very nice, working in the sub-atomic area. And for completeness, your
example is impressioning for an automated analysis :-)


DoDi

Post a followup to this message

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