学术知识图片库 > 计算机软件及计算机应用 > 图2状态节点构造算法流程图3.2.2转移关系的生成
图2状态节点构造算法流程图3.2.2转移关系的生成
图片来源:
  • 牛小鹏,李清宝,谢晓东. 基于控制流信息的克里普克结构生成方法 , 计算机科学, 2012 (06). >>查看本文图片摘要
图片关键词: 流程图构造算法跳转有效指令节点
所属学科: 计算机软件及计算机应用
图片上下文:
  • 跳转类型的指令(包括call指令),那么该条指令独立成为一个节点。(2)遇到无效指令(不包括跳转类),继续扫描,直到遇到跳转类型的指令或者遇到一个有效指令,最终扫描到的指令与前面的指令归结在一个节点内部。(3)遇到有效指令,继续扫描,直到遇到跳转类型的指令或者遇到另一个有效指令。....
  • >>展开全部
京 ICP 证 040431 号  网络出版服务许可证 (总)网出证(京)字第 271 号 经营性网站备案信息
京公网安备 11010802020460 号
《中国学术期刊(光盘版)》电子杂志社有限公司
KDN 平台基础技术由 KBASE 11.0 提供. © 1998-2018 中国知网(CNKI)
可信网站 诚信网站