REF77反编译系统中的控制结构提取

摘要

控制结构提提是反编译系统中关键环节之一。高级语言中的控制语句和程序结构不能仅几条机器指令就能反映，它需要通过分析整个执行流的组成，转移入口关系才能抽取出来。本文介绍Ｆｏｒｔｒａｎ反编译系统ＲＥＦ７７中执行流表ｍｉｃｏ．ｔ的组成，及控制结构变换法则。