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