A program that attempts to generate high-level source code from assembly language code or machine code. This can be a difficult task, as some assembly language code has no corresponding high-level source code.