大学课件数据流分析.ppt
《大学课件数据流分析.ppt》由会员分享,可在线阅读,更多相关《大学课件数据流分析.ppt(16页珍藏版)》请在课桌文档上搜索。
1、第2章 数据流分析,内容概述数据流分析推导的是数据沿着程序执行路径流动的信息过程内的分析:可用表达式分析、到达定值分析等过程间分析Shape分析理论基础数据流方程的求解,兰响舒摊孝郊洛搁舌漠圃构盈盏憎冬蜂惊袍班缕侮逞皆眠读榨豺惨孕闲刽【大学课件】数据流分析【大学课件】数据流分析,第2章 数据流分析,数据流分析的用途编译优化、程序维护程序安全性的检查和编译原理课程的区别基于源代码的结构化分析方法,而不是基于基本块和程序流图的分析从过程内讨论到过程间强调理论基础,业崇粳梗曙税纤放吓坦戊矾尚雹绦欲扼则蕾访连霜决池窖唐宵揣谤瘩捕籍【大学课件】数据流分析【大学课件】数据流分析,第2章 数据流分析,数据流
2、分析的正确性数据流分析所得结论同程序运行时的情况一致需要定义机器模型和操作语义,证明所得结论对操作语义可靠由于数据流分析收集的信息同基本块和控制流有关,通常和变量值无关,因此不同于一般的可靠性证明,例如Hoare逻辑的赋值公理是可靠的x=1 x:=x+1 x=2,咒尊啪殖嘎演穿襄浪什贤烦务淹每怀性缔粘玻蒲飞滴著睹鳞骗轿烹掂孟梭【大学课件】数据流分析【大学课件】数据流分析,活跃变量分析,活跃变量分析的正确性需要将该正确性概念形式地表达出来在活跃变量的初值相同的不同格局下S,1 和S,2执行程序S的结果应该是一样的再细化一下,程序每执行一步,得到的不同格局S,1 和S,2 中,活跃变量的值都相同,
3、曹颜窄械枯苫荤不增棘余舌愤喘才纽芯狙善祝贫棍莽戈婉沃吨酌隘净斑丁【大学课件】数据流分析【大学课件】数据流分析,第2章 数据流分析,数据流分析的基础 把各种数据流模式作为一个整体来抽象地研究,然后可以形式地回答数据流算法的下列几个基本问题:在什么情况下数据流分析中使用的迭代算法是正确的?该迭代算法所得解的精度如何?该迭代算法是否收敛?数据流方程的解的含义是什么?,匙蔓吭上占戚龄翻驴莱赛痈箭奈便磅捕婿欠啦负审奥栈侄嗅蝴楷说汕碑碌【大学课件】数据流分析【大学课件】数据流分析,第2章 数据流分析,为一类数据流模式建一个共同理论框架总结已讨论过的四种数据流分析模式 整理出该框架的一些基本特征或原则规范框
4、架中的性质空间要满足的特征规范框架中迁移函数要满足的性质给出框架的定义区分单调框架和分配框架的区别常量传播数据流模式不是分配的,贿频雍哦缘至舰果倍捻泳色砚改叁定腥橇箱库素违抓相总眷奢近疤砍舶萨【大学课件】数据流分析【大学课件】数据流分析,第2章 数据流分析,位向量框架(Bit vector framework)Single-bit representation of each data flow propertySeparability of solution Data flow properties can be evaluated independently Merge operation
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 大学 课件 数据流 分析
链接地址:https://www.desk33.com/p-601929.html