静态程序分析

参考：https://github.com/RangerNJU/Static-Program-Analysis-Book/blob/master/SUMMARY.md

课件：https://pascal-group.bitbucket.io/teaching.html

视频：南京大学《软件分析》课程01（Introduction）_哔哩哔哩_bilibili

01 介绍

02 中间表示

03 数据流分析Ⅰ