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

在简介中，将介绍：

• 什么是静态程序分析（下简称为静态分析）？

• 如何设计一个实用的静态程序分析器？

然后将用较长的篇幅介绍静态分析的一个常见应用——数据流分析。

• 首先介绍数据流分析的应用，让学习者有直观感受

• 然后从理论上深入讲解数据流分析背后的逻辑

注：这一部分在B站上有相应的视频。 建议读者结合B站视频食用。

(Update@20220124 完整的官方视频已发布，1至6课文稿更新。祝大家玩的愉快！)

1至6课对应的视频在这里：

• 第一课-课程简介

• 第二课-中间表示(IR)

• 第三课-数据流分析一

• 第四课-数据流分析二

• 第五课-数据流分析理论一

• 第六课-数据流分析理论二