程序分析-原理部分(全)
作者 Guoping | 2011-11-23 07:54 | 类型 专题分析, 学术园地 | Comments Off
|
耽误了一些时间，很抱歉。这里是全文：程序分析-原理部分(全)。 程序分析最传统、可能也是最重要的应用应该在编译优化。有关编译的材料,网上相当 多,其中最权威的包括龙书、虎书、鲸书和Rice出的那本Optimizing Compilers for Modern Architectures。龙书和虎书覆盖编译了很多基础方面,部分章节也讨论优化;而 后两者专門讲优化,程序分析的大部分内容其实都涉及到了。从编译的角度,这份材料可 以作为补充参考,此外这門课在两个方面还有点特色:(1) 对程序分析的体系梳理比较到 位,内容几乎都很直观,便于理解。可以看完这个材料再去看那几本书,很多内容会更清 晰;(2) 这門课的授课老师Ben Hardekopf在指针分析领域有几个重要的工作,对指针分 析介绍得比较全面深入。 这份材料主要的对象是那些对程序分析感兴趣但还没有找到合适材料的同仁。说实话,能 把这个领域的主要内容压缩在几十页的篇幅自己也有点惊讶,然而事实就是如此。有些内 容如果感兴趣希望扩展阅读,后面也列出的重要的参考文献。程序分析是一个相当大的领 域,发表的文章可谓浩如烟海,通过浓缩的方式把精要梳理出来,把重要的文献整理出 来,相信能帮助节省很多自己摸索的时间。通过这份材料或许能给你的工具箱添加一个新 的探索问题的工具。 必须说明这份材料仅仅只是笔记,里面的贴图都来自课程的ppt(网上可以下载)。由于水 平有限可能有错误之处,建议结合ppt对照使用。由于这个领域很大,相信有很多内容没 有涉及到,因此这个文档没有写完,只是由于自身能力局限,只能写到这里。恳请知道更 多内容且有时间的同仁继续补充,最终给大家提供一份这个领域比较全面的资料。 整个材料的提纲如下: 1导言 2 控制流分析 3 数据流分析 4 稀疏分析和SSA 5 指针分析 6 过程间分析 7 集合约束和Andersen Style指针分析 8 类型约束和Steensgaard指针分析 | |
 (3个打分， 平均：5.00 / 5) |
