Re: Getting source file from the object file

In article <58bb918e-5b7f-476b-8c76-2148cc496e5e@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
user923005 <dcorbit@xxxxxxxxx> wrote:

Now, it is probably impossible to decompile 100%, because it has been
shown to be equivalent to the "does the turing machine halt?" problem.

What?

Obviously decompilation is impossible in a sense, because different
source programs can produce the same object file.

Equally obviously, it is theoretically possible to find a source
program which produces that code by enumerating all the source
programs and compiling them until we find one which produces the
desired object file. (Assuming of course that the object file really
is the result of compiling a source file.)

So where does the halting problem come into it?

-- Richard
--
Please remember to mention me / in tapes you leave behind.
.

Relevant Pages

  • Re: Getting source file from the object file
    ... shown to be equivalent to the "does the turing machine halt?" ... source programs can produce the same object file. ... program which produces that code by enumerating all the source ... programs and compiling them until we find one which produces the ...
    (comp.lang.c)
  • Re: Number of Objects in Static Link Library
    ... Up until this time, I've generated the libraries from object files that each represent a related group of functions and their data. ... The end result is that if a symbol in the object file is referenced, the entire object file is dragged in, even if just one function is referenced. ... With most linkers, the minimum amount that can normally be pulled in is one "module" or "translation unit". ... This normally corresponds to a single .o file that comes from either compiling a .c file or assembling an assembly-language file. ...
    (comp.unix.programmer)
  • Re: Driver linking error(symbols already defined), please help thi
    ... Compiling - shimmer.rc for i386 ... ning treated as error - no object file generated ... IST_ENTRY': macro redefinition ...
    (microsoft.public.development.device.drivers)
  • Re: Driver linking error(symbols already defined), please help thi
    ... Well, the fact that you're getting a macro redefinition error suggests to me that you might be trying to include 2 mutually incompatible headers. ... Compiling - shimmer.rc for i386 ... ning treated as error - no object file generated ...
    (microsoft.public.development.device.drivers)
  • Re: Getting source file from the object file
    ... source programs can produce the same object file. ... programs and compiling them until we find one which produces the ... this assumes that the object code depends /only/ on the source ... I agree that decompilation is not a halting-problem issue. ...
    (comp.lang.c)