Date |
Course Content |
Speaker |
Tutorials |
2019-02-28 |
课程介绍 |
Pu Sun |
|
2019-03-07 |
数据流分析I：基础 |
Weitian Wang |
|
2019-03-14 |
数据流分析II：性质和扩展 |
Pengfei Gao |
|
2019-03-21 |
数据流分析III：多视角理解数据流分析 |
Zhe Zhao |
|
2019-03-28 |
静态单赋值和稀疏分析 |
Yedi Zhang |
|
2019-04-04 |
过程间分析I：基础 |
Hongyi Xie |
|
2019-04-18 |
过程间分析II：优化 |
Luwei Cai |
|
2019-04-25 |
过程内指针分析 |
Pu Sun |
|
2019-05-09 |
控制流分析 |
Weitian Wang |
|
2019-05-16 |
SOOT |
Pengfei Gao |
|
2019-05-23 |
SAT |
Zhe Zhao |
|
2019-06-20 |
SMT |
Yedi Zhang |
|
2019-06-27 |
符号执行 |
Hongyi Xie |
|
2019-07-04 |
抽象解释 |
Luwei Cai |
|
2019-07-18 |
符号抽象 |
Pu Sun |
|
2019-07-25 |
搜索算法 |
Pengfei Gao |
|
2019-08-01 |
程序综合：基础 |
Zhe Zhao |
|
2019-08-08 |
程序综合：优化 |
Yedi Zhang |
|
2019-08-15 |
缺陷定位 |
Hongyi Xie |
|
2019-08-22 |
缺陷修复 |
Luwei Cai |