http://www.cs.rhul.ac.uk/research/languages/projects/reverse_compilation.shtml
The above page describes an Analog Devices ADSP-21xx assembly language to ANSI-C translator,
or reverse compiler as they call it. A windows console-mode executable can be downloaded,
and the authors state that a Linux binary can be provided on request.
There is also a users manual online.
The ADSP-21 is a DSP processor; these present special challenges for decompilation.
Several of these have been publised in papers, three of which can be downloaded from
the above page.
CategoryDecompilation