IDC is an interactive decompiler. The user starts
with an almost literal translation of assembly code
in C language, which he progressively decompiles
by the successive application of low-level
refactorings, ultimately leading to high-level C code.