学术知识图片库 > 计算机软件及计算机应用 > 图2状态节点构造算法流程图3.2.2转移关系的生成
图2状态节点构造算法流程图3.2.2转移关系的生成
图片来源:
  • 牛小鹏;李清宝;谢晓东;基于控制流信息的克里普克结构生成方法,计算机科学,201206. >>查看本文图片摘要
图片关键词: 流程图构造算法跳转有效指令节点
所属学科: 计算机软件及计算机应用
图片上下文:
  • 跳转类型的指令(包括call指令),那么该条指令独立成为一个节点。(2)遇到无效指令(不包括跳转类),继续扫描,直到遇到跳转类型的指令或者遇到一个有效指令,最终扫描到的指令与前面的指令归结在一个节点内部。(3)遇到有效指令,继续扫描,直到遇到跳转类型的指令或者遇到另一个有效指令。....
  • >>展开全部