数据流分析(data-flow analysis)
-
数据流分析
一组用来获取程序执行路径上的数据流信息的技术 -
数据流分析应用
- 到达-定值分析(Reaching-Definition Analysis)
- 活跃变量分析(Live-Variable Analysis)
- 可用表达式分析(Available-Expression Analysis)
- 在每一种数据流分析应用中，都会把每个程序点和一个数据流值关联起来。
数据流分析模式
语句的数据流模式
IN[s]: 语句s之前的数据流值
OUT[s]: 语句s之后的数据流值
传递函数.png
语句之间数据流.png
基本块上的数据流模式
基本块上的数据流模式.png
网友评论