>From owner-simulators Thu Mar 19 21:49:51 1998 Received: from meitner.cs.washington.edu (meitner.cs.washington.edu [128.95.2.104]) by june.cs.washington.edu (8.8.7+CS/7.2ju) with ESMTP id VAA12830 for ; Thu, 19 Mar 1998 21:49:51 -0800 Received: from meitner.cs.washington.edu (localhost [127.0.0.1]) by meitner.cs.washington.edu (8.8.5+CS/7.2ws+) with ESMTP id VAA30650 for ; Thu, 19 Mar 1998 21:49:51 -0800 (PST) Message-Id: <199803200549.VAA30650@meitner.cs.washington.edu> To: simulators@cs Subject: Cifuentes decompiler update Date: Thu, 19 Mar 1998 21:49:50 PST From: " pardo@cs.washington.edu" X-Message-Id: simulators@cs.washington.edu, message #1998-03-006 X-Unsubscribe: e-mail `majordomo@cs.washington.edu', body `unsubscribe simulators' X-URL: `http://www.cs.washington.edu/homes/pardo/sim.d/mail.d/index.html' From: Cristina Cifuentes Newsgroups: comp.compilers Subject: Re: Decompilers or comparison tools Date: 18 Mar 1998 22:57:00 -0500 Organization: Compilers Central Lines: 31 Sender: johnl@iecc.com Approved: compilers@ivan.iecc.com Message-ID: <98-03-168@comp.compilers> NNTP-Posting-Host: ivan.iecc.com Keywords: decompile The dcc decompiler is a prototype decompiler for DOS EXE binary files. With the use of signatures, it is able to determine library function calls and compiler used. The decompiler is available from the dcc web page: http://www.csee.uq.edu.au/csm/dcc.html The sources for dcc are also available. There are known bugs with dcc (particularly with memory reallocation) -- we are not fixing them at present time. dcc is a proof of concept rather than a commercial tool. Sample programs are included in the distribution (small ones). Main steps: - disassemble the code (a partially incomplete step via static analysis unless extra information (not included in the executable program itself) is used) - perform semantic analysis - perform data flow analysis (to recover HLL expressions and remove low-level dependencies like registers and condition codes) - perform structuring analysis (to recover HLL control structures such as loops and conditionals, and their nesting level). - perform type analysis [this step is almost missing, only base types are fully supported] - generate HLL code for your favourite imperative language. Cristina -- Send compilers articles to compilers@iecc.com, meta-mail to compilers-request@iecc.com. Archives at http://www.iecc.com/compilers From: Cristina Cifuentes Newsgroups: comp.compilers Subject: Announcing the Decompilation web page Date: 18 Mar 1998 22:57:15 -0500 Organization: Compilers Central Lines: 31 Sender: johnl@iecc.com Approved: compilers@ivan.iecc.com Message-ID: <98-03-169@comp.compilers> NNTP-Posting-Host: ivan.iecc.com Keywords: decompile I am the new maintainer of the Decompilation web page, previously maintained by Frans Faase at the University of Twente. The new pages are located at: http://www.csee.uq.edu.au/csm/decompilation/ Topics covered: - Is decompilation possible? - The ethics of decompilation - The decompilation process - Approaches to decompilation (compiler-specific, application-specific, and the general approach) - Related areas (disassembly, binary translation, simulation & tracing, and Y2K) - Resources To come in (late) April: - History of decompilation Submissions are received for any of the abovementioned topics. Cristina Dr Cristina Cifuentes Department of Computer Science and Electrical Engineering The University of Queensland Brisbane Australia -- Send compilers articles to compilers@iecc.com, meta-mail to compilers-request@iecc.com. Archives at http://www.iecc.com/compilers