逆向工程导出的信恳可以分为4个抽象层次，其中（）可以抽象出程序的抽象语法树、符号表等信息；（）可以抽象出反映程序段功能及程序段之间关系的信息。