静态单赋值形式-概念简介
文章目录
- 前言
- 静态单赋值(static single assignment)的概念
- 静态单赋值算法
前言
视频：北大-软件分析-公开课
文档：课件’ | 静态单赋值形式-wiki
这里简单记录下。
静态单赋值(static single assignment)的概念
在数据流分析中，我们在每一个节点都保存了全部的变量。如果节点可以根据“Def-Use关系”来保存相应的节点，则可以少保存很多节点，从而提高算法效率。
Def-Use关系：给定变量x，如果结点A可能改变x的值，结点B可能使用结点A改变后的x的值，则结点A和结点B存在Def-Use关系。
如何获取Def-Use关系？可以使用静态单赋值形式，每个变量都只被赋值一次。
静态单赋值形式上的流非敏感分析与流敏感分析等价。
静态单赋值算法
我们的数据流分析，建立在控制流程图上。控制流程图建立在基本块上。
要实现静态单赋值功能，需要相应的算法。算法本身也可以从不同角度进行优化。
SSA算法介绍，略(没咋搞懂算法-_-)。
本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！