This phase takes two i uts: (1) a formal representation of the su icious property (or properties) and (2) control flow graph and data flow information of the program.

• 该阶段取两个输入：(1)一个或多个可疑特性的形式表示，和(2)程序的控制流与数据流信息。