投稿

南京大学《软件分析》课程01（Introduction）

14.5万

2049

2020-02-26 19:16:10

未经作者授权，禁止转载

正在缓冲...

《软件分析》课程网站（含课件、实验作业、实验文档）： https://tai-e.pascal-lab.net/lectures.html 《软件分析》实验作业在线评测：https://oj.pascal-lab.net/

甜品专家发消息

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

国内名企招聘中，本科以上留学生即可！

留学生求职

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

顶部