投稿

南京大学《软件分析》课程07（Interprocedural Analysis）

2.5万

983

2020-04-15 14:11:25

未经作者授权，禁止转载

甜品专家发消息

真的以为，我能遁出红尘。

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

顶部