Jacy

1 静态分析概述 | 静态分析

8

https://static-analysis.cuijiacai.com/01-intro/ 基于南京大学软件分析课程的静态分析基础教程

https://static-analysis.cuijiacai.com/12-soundiness/ 基于南京大学软件分析课程的静态分析基础教程

https://static-analysis.cuijiacai.com/12-soundiness/ 基于南京大学软件分析课程的静态分析基础教程

2 程序的中间表示 | 静态分析

6

https://static-analysis.cuijiacai.com/02-ir/ 基于南京大学软件分析课程的静态分析基础教程

10 基于 Datalog 的程序分析 | 静态分析

1

https://static-analysis.cuijiacai.com/10-datalog/? 基于南京大学软件分析课程的静态分析基础教程

7 指针分析-基础 | 静态分析

1

https://static-analysis.cuijiacai.com/07-pta-fd/ 基于南京大学软件分析课程的静态分析基础教程

https://static-analysis.cuijiacai.com/11-ifds/ 基于南京大学软件分析课程的静态分析基础教程

https://static-analysis.cuijiacai.com/11-ifds/ 基于南京大学软件分析课程的静态分析基础教程

https://static-analysis.cuijiacai.com/10-datalog/ 基于南京大学软件分析课程的静态分析基础教程

https://static-analysis.cuijiacai.com/09-security/ 基于南京大学软件分析课程的静态分析基础教程