参考答案：A

解析：

逆向工程导出的信息可分为如下4个抽象层次：

①实现级：包括程序的抽象语法树、符号表等信息。

②结构级：包括反映程序分量之间相互依赖关系的信息，如调用图、结构图等。

③功能级：包括反映程序段功能及程序段之间关系的信息。

④领域级：包括反映程序分量或程序与应用领域概念之间对应关系的信息。