程序分析是确保软件开发过程各个阶段的软件质量和安全性的关键工具。本课程将涵盖现代程序分析的理论和实践，介绍静态和动态程序分析技术以及它们在实践中的应用。
- 培养学生对软件属性的严格理解。
- 培养学生在软件开发不同阶段和上下文中选择适当的程序分析技术的能力。
- 培养学生将现代程序分析工具应用于实际软件并正确解释其输出的能力。
- 培养学生实施自定义程序分析工具的能力。
成功完成本课程后，学生将能够：
- 理解程序分析的基本原理和技术。
- 熟练应用静态和动态程序分析技术。
- 在实践中使用程序分析工具来确保软件质量和安全性。
- 开发并实施自定义程序分析工具。
本课程涵盖以下主题：
- 程序分析简介。
- 基于模式的分析。
- 晶格理论。
- 数据流分析，包括恒定传播和到达定义。
- 抽象解释。
- 动态分析，如动态比赛检测、缓冲区溢出检测和动态污染分析。
- 程序分析在实践中的应用，例如模糊测试和Web安全性。
为了有资格选择本课程作为选修课，学生必须在计划和年度的学习年份中注册该课程。
选择DR.D留学生辅导机构，让我们携手开启留学之旅，为您的留学生活增添精彩！
