课程讲义

在这里可以下载课程讲义。

• 2023/09/12

  课程介绍 [幻灯片]

  [讲义] [作业]
  
• 2023/09/19

  程序设计语言基础知识 [幻灯片]

  [讲义] [作业]
  
• 2023/09/21

  数据流分析：基础 [幻灯片]

  [讲义] [作业]
  
• 2023/09/26

  数据流分析：框架和扩展 [幻灯片]

  [讲义] [作业]
  
• 2023/10/10

  抽象解释和分析精度 [幻灯片]

  [讲义] [作业]
  
• 2023/10/17

  多角度理解程序分析 [幻灯片]
  过程间分析 [幻灯片]

  [讲义] [作业]
  
• 2023/10/19

  过程间分析加速技术 [幻灯片]

  [讲义] [作业]
  
• 2023/10/24

  Tai-e [幻灯片]

  
  
• 2023/10/31

  静态单赋值和稀疏分析 [幻灯片]

  [讲义] [作业]
  
• 2023/11/02

  过程内指针分析 [幻灯片]

  [讲义]
  
• 2023/11/07

  其他过程内指针分析过程间指针分析 [幻灯片]

  [讲义]
  
• 2023/11/14

  关系型抽象域 [幻灯片]

  [讲义] [作业]
  
• 2023/11/16

  布尔可满足性 [幻灯片]

  [讲义] [作业]
  
• 2023/11/21

  可满足性模理论 [幻灯片]

  [讲义] [作业]
  
• 2023/11/28

  符号执行 [幻灯片]

  [讲义] [作业]
  
• 2023/12/05

  程序合成：枚举 [幻灯片]

  [讲义]
  
• 2023/12/12

  程序合成：空间表示和约束求解 [幻灯片]

  [讲义]
  
• 2023/12/14

  程序合成：概率 [幻灯片]

  [讲义]
  
• 2023/12/19

  符号抽象 [幻灯片]

  [讲义]
  
• 2023/12/25

  错误定位技术 [幻灯片]

  [讲义]