7.2 基于编译器机制的信息流检测