2015年4月9日
静态分析的四种基本方法
摘要： * 数据流分析（Data Flow Analysis） 将数据看作是图，节点是程序的基本快，边是描述控制如何从一个基本快转移掉另一个基本快。图可以解决很多问题，例如：以图中边的抽象得出数学方程，七届就是可达性问题的答案；PREfix、SLAM静态分析系统使用了数据流分析的思想。* 基于约束的分... 阅读全文
posted @ 2015-04-09 10:19 cyy_cnblog 阅读(4745) 评论(0) 推荐(0)
点击右上角即可分享
微信分享提示