静态程序分析简介与数据流分析

在简介中，将介绍：
什么是静态程序分析（下简称为静态分析）？
如何设计一个实用的静态程序分析器？
然后将用较长的篇幅介绍静态分析的一个常见应用——数据流分析。
首先介绍数据流分析的应用，让学习者有直观感受
然后从理论上深入讲解数据流分析背后的逻辑
注：这一部分在B站上有相应的视频。 建议读者结合B站视频食用。
([email protected] 完整的官方视频已发布，1至6课文稿更新。祝大家玩的愉快！)
1至6课对应的视频在这里：
​第一课-课程简介​
​第二课-中间表示(IR)​
​第三课-数据流分析一​
​第四课-数据流分析二​
​第五课-数据流分析理论一​
​第六课-数据流分析理论二​

前言 - 以前

课程介绍与实验进度安排

下一个 - 数据流分析

中间表示

最近更新 5mo ago

复制链接