[molticrystal]

Sort of. Modern Compilers convert your code to an intermediate language which is similar to a generalized type of assembly language, that is then converted into opcodes of your cpu architecture.

This program goes in the opposite direction. But the problem is often not a one-to-one function so it has to pick at each stage what to produce based on heuristics. Thus you can get anything ranging from really close to the original source code to way off or nothing at all.

Thus the assembly listing that it produces is invaluable in deciphering what is going on and you can give many hints along the way to assist both the disassembly where that fails and decompiling to figure out how things work.