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

在简介中，将介绍：

什么是静态程序分析（下简称为静态分析）？
如何设计一个实用的静态程序分析器？

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

首先介绍数据流分析的应用，让学习者有直观感受
然后从理论上深入讲解数据流分析背后的逻辑

注：这一部分在B站上有相应的视频。在作者腾出时间整理文稿之前，建议读者先到B站观看相应的视频。对应的文字部分暂时移出本仓库。

对应的视频在这里：

从这里直接跳转到施工完毕区域。