静态程序分析

软件分析或静态程序分析是由田田和李岳于2020年春季开发的南京大学课程。在本课程中，我们将学习静态程序分析，这是一种提高软件可靠性、安全性和性能的有用技术，它在当今的工业中越来越有影响力。本课程包括理论和实践两部分。从理论上讲，将介绍各种材料:从经典数据流和指针分析的基础到一些高级主题，如安全性分析和稳健性。在实践中，我们设计了一个全新的静态程序分析框架Tai-e，我们将在其上实现一系列赋值，包括活变量分析、常量传播、死代码检测、CHA调用图构建、上下文不敏感和上下文敏感的指针分析以及污染分析。