I found this on the net today. It's a decompiler from X86 to C, in
some ways similar to the various SBTs that we've all written. However
where it's different is that after the initial - very basic -
translation, there's an interactive tool for building up the simple
code into a higher-level version, renaming variables, etc.

Watch this screencast...

http://idc.sourceforge.net/viva.avi

which comes from here:
http://idc.sourceforge.net/wiki/

also some screenshots:
http://idc.sourceforge.net/wiki/Screenshots.html

I have to say that I have some doubts about this - I'm pretty sure
that it could do a lot more automatic reconstruction of sequential
statements into expressions ... but it's interesting nevertheless if
only for the ingenuity of the interactive editor.

G