南京大学静态程序分析课程《软件分析》上线啦!

南京大学静态程序分析课程《软件分析》上线啦!

南京大学静态程序分析课程《软件分析》号外!

自2020年2月末,南京大学计算机科学与技术系专业选修课程《软件分析》正式开课啦!受疫情影响,该课程将在线上授课,主讲教师为李樾,该课程将系统讲解静态程序分析相关知识。

目前课程网站已建好,课程网址为

PASCAL Research Group:pascal-group.bitbucket.io

为了让南大的同学们可以回看上课视频,也为了让更多其它学校感兴趣的同学们可以学习静态分析,我们现在每周上课之后会上传直播的录像。目前计划持续更新课程录像直到疫情结束(每周四更新)。


以下是已更新的所有课程录像(目前更新到第八节 ~( ˘•ω•˘ )~):

南京大学《软件分析》课程01(Introduction)_哔哩哔哩 (゜-゜)つロ 干杯~-bilibiliwww.bilibili.com图标南京大学《软件分析》课程02(Intermediate Representation)_哔哩哔哩 (゜-゜)つロ 干杯~-bilibiliwww.bilibili.com图标南京大学《软件分析》课程03(Data Flow Analysis I)_哔哩哔哩 (゜-゜)つロ 干杯~-bilibiliwww.bilibili.com图标南京大学《软件分析》课程04(Data Flow Analysis II)_哔哩哔哩 (゜-゜)つロ 干杯~-bilibiliwww.bilibili.com图标南京大学《软件分析》课程05(Data Flow Analysis - Foundations I)_哔哩哔哩 (゜-゜)つロ 干杯~-bilibiliwww.bilibili.com图标南京大学《软件分析》课程06(Data Flow Analysis - Foundations II)_哔哩哔哩 (゜-゜)つロ 干杯~-bilibiliwww.bilibili.com图标南京大学《软件分析》课程07(Interprocedural Analysis)_哔哩哔哩 (゜-゜)つロ 干杯~-bilibiliwww.bilibili.com图标南京大学《软件分析》课程08(Pointer Analysis)_哔哩哔哩 (゜-゜)つロ 干杯~-bilibiliwww.bilibili.com图标

也可以直接进入课程频道观看所有录像:

哔哩哔哩 ( ゜- ゜)つロ 乾杯~ Bilibilispace.bilibili.com

欢迎对PL和静态程序分析感兴趣的小伙伴们前来围观╭(●`∀´●)╯

编辑于 05-04

文章被以下专栏收录