测井解释软件forward_【课程笔记】南大软件分析课程1——课程介绍

原文更清晰：https://www.jianshu.com/p/8d06766d232c

【课程笔记】南大软件分析课程1——课程介绍​www.jianshu.com

侵权删。

---

首先非常感谢南京大学李樾和谭添老师的无私分享，之前学习程序分析是看的北大熊英飞老师的ppt，但是很多地方没看懂，正如李樾老师所说的那样，熊英飞老师的授课涵盖非常广，不听课只看ppt的话，理解起来还是很有难度的。但李樾老师的视频就讲解的非常易懂，示例都是精心挑选的，所以墙裂推荐。

推送门：南大课件 南大视频课程 北大课件

我觉得上这门课，最大的收获就是，锻炼出一种软件分析的程序化思维。之所以做这个笔记，是为了总结和方便回看，毕竟回看笔记比回看视频快很多。

讲数据流分析的时候，关键是首先抽象表示数据（一般是用向量），然后设计transfer function转换规则和control flow控制流规则，然后遍历基本块，根据这两个规则去计算，一旦某个基本块的抽象表示改变了，则再次遍历一遍。这对于我们以后设计数据流分析算法是很有帮助的，我们需要思考所要解决的问题到底是forward还是backward，是may还是must analysis，这相当于是一个分析模板。

---

本课程主要内容：IR&