课程讲义

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

• 2024/09/09

  [讲义]
  
• 2024/09/10

  课程介绍 [幻灯片]

  
  
• 2024/09/19

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

  
  
• 2024/09/24

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

  
  
• 2024/10/08

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

  
  
• 2024/10/15

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

  
  
• 2024/10/17

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

  
  
• 2024/10/29

  过程间分析 [幻灯片]

  
  
• 2024/10/31

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

  
  
• 2024/11/05

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

  
  
• 2024/11/12

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

  
  
• 2024/11/14

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

  
  
• 2024/11/14

  关系型抽象域 [幻灯片]

  
  
• 2024/11/19

  布尔可满足性 [幻灯片]

  
  
• 2024/11/26

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

  
  
• 2024/11/28

  符号执行 [幻灯片]

  
  
• 2024/12/10

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

  
  
• 2024/12/12

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

  
  
• 2024/12/17

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