以下为句子列表：
英文: A control flow graph (CFG) is a directed graph.
中文: 控制流程图(CFG)是一个有向图。
更详细...
英文: This phase takes two inputs: (1) a formal representation of the suspicious property (or properties) and (2) control flow graph and data flow information of the program.
中文: 该阶段取两个输入：(1)一个或多个可疑特性的形式表示，和(2)程序的控制流与数据流信息。
更详细...
|
