程序分析与测试

研究生课程, 网络研究院, 2019

Instructor: Chao Zhang (张超)

课程主要内容包括:

  • 数据流分析
  • 控制流分析
  • 抽象解释
  • 符号执行
  • 模糊测试
  • 智能分析技术