专利检索与分析系统
|
意见反馈
|
制图工具
公告： 1.点击检索输入框上方可切换相似检索，上传图片可查找该图片的相似图片。 2.
专利检索与分析系统上线，欢迎试用。
登 录
注册
欢迎您：
未登录
退出
到登录页
图片搜索
相似搜索
检索
高级检索
图片主题：
请以;隔开多个主题词
出版日期：
到
图片类别：
学科类别：
图片大小：
全部
大
中
小
来源数据库：
全部
中国学术期刊网络出版总库
中国博士学位论文全文数据库
中国优秀硕士学位论文全文数据库
中国重要会议论文全文数据库
中国工具书网络出版总库
中国年鉴全文数据库
学术知识图片库
>
计算机软件及计算机应用
> 图２状态节点构造算法流程图３．２．２转移关系的生成
图２状态节点构造算法流程图３．２．２转移关系的生成
图片来源：
牛小鹏,李清宝,谢晓东.
基于控制流信息的克里普克结构生成方法 ,
计算机科学, 2012 (06).
>>查看本文图片摘要
图片关键词：
流程图
构造算法
跳转
有效指令
节点
所属学科：
计算机软件及计算机应用
图片上下文：
跳转类型的指令（包括ｃａｌｌ指令），那么该条指令独立成为一个节点。（２）遇到无效指令（不包括跳转类），继续扫描，直到遇到跳转类型的指令或者遇到一个有效指令，最终扫描到的指令与前面的指令归结在一个节点内部。（３）遇到有效指令，继续扫描，直到遇到跳转类型的指令或者遇到另一个有效指令。
....
如果最终扫描到的指令是跳转类型的指令，那么该跳转类型的指令与它前面的指令归结在一个节点内部；如果最终扫描到的指令是另一个有效指令，该指令被排除在该节点外，属于下一节点。本状态节点构造算法的流程图如图２所示。图２状态节点构造算法流程图３．２．２转移关系的生成确定状态节点后，就需要确定状态之间的迁移关系。根据各个状态节点类型的不同，其迁移关系也不同，具体方法如表２所列。表２迁移关系构造方法（１）针对每一个无条件跳转类型的状态节点，只连接到它的目标跳转节点。（２）针对每一个条件跳转类型的状态节点，则存在一个非确定性的连接关系，一方面是连接到它的直接后继节点，另一方面则是连接到它的目标跳转节点。（３）针对间接跳转类型的状态节点，采用基于程序静态后向切片的控制流恢复算法，使间接跳转类型的状态节点连接到它的动态目标节点。具体方法请参考作者的另一篇文章。（４）针对子函数调用类型节点，一方面连接到它的目标调用节点，另一方面要连接到它的后继节点。（５）针对子函数调用返回节点，则不连接到任何节点，因为它的返回目标地址只有在函数动态调用的过程中才能真正确定。（６）针对其它普通类型的节点，则直接连接它的后继节点，不需要做任何特殊处理。３．２．３标记函数的生成对克里普克结构中的每个状态节点定义两个原子命题：第
>>展开全部
相关图片
同文图片
语义相关
读者推荐
相似图片
浏览历史
本单位未订购此产品,请填写调查问卷可
免费获取
下载权限.
京 ICP 证 040431 号
网络出版服务许可证 (总)网出证(京)字第 271 号
经营性网站备案信息
京公网安备 11010802020460 号
《中国学术期刊（光盘版）》电子杂志社有限公司
KDN 平台基础技术由 KBASE 11.0 提供. © 1998-2021 中国知网（CNKI）
用户手册
|
产品标准
|
数据标准
|
图片分类说明
