Abstracting the semantics of the machine instructions to generate an intermediate code representation is key for a decompiler.

• 对机器指令进行语义抽象以产生中间代码表示是反编译程序的一个关键环节。