南京大学《软件分析》课程02（Intermediate Representation）
第一课（Introduction）：av91858985
第三课（Data Flow Analysis I）：av95400721
第四课（Data Flow Analysis II）：av97277892
第五课（Data Flow Analysis - Foundations I）：BV1A741117it
第六课（Data Flow Analysis - Foundations II）：BV1964y1M7nL
南京大学《软件分析》课程2020
（2/16）
48.7万播放
简介
订阅合集
01 - Introduction
01:57:19
02 - Intermediate Representation
01:56:36
03 - Data Flow Analysis I
01:59:07
04 - Data Flow Analysis II
01:52:37
05 - Data Flow Analysis - Foundations I
01:43:57
06 - Data Flow Analysis - Foundations II
02:01:49
07 - Interprocedural Analysis
01:46:51
08 - Pointer Analysis
01:47:37
09 - Pointer Analysis - Foundations I
01:54:51
10 - Pointer Analysis - Foundations II
01:48:03
11 - Pointer Analysis - Context Sensitivity I
01:53:17
12 - Pointer Analysis - Context Sensitivity II
02:03:28
13 - Static Analysis for Security
01:53:53
14 - Datalog-Based Program Analysis
02:08:32
15 - CFL-Reachability and IFDS
02:09:16
16 - Soundness and Soundiness
01:44:59
顶部