Static Program Analysis (2024)

Episódio 1 - Episódio 1

03 de abril de 2024

Course Introduction

Episódio 2 - Episódio 2

10 de abril de 2024

Episódio 3 - Episódio 3

17 de abril de 2024

Episódio 4 - Episódio 4

24 de abril de 2024

Episódio 5 - Episódio 5

01 de maio de 2024 • 103 minutos

test

Episódio 6 - Episódio 6

08 de maio de 2024

Episódio 7 - Episódio 7

15 de maio de 2024

Episódio 8 - Episódio 8

22 de maio de 2024

Episódio 9 - Episódio 9

29 de maio de 2024

Episódio 10 - Episódio 10

05 de junho de 2024

Episódio 11 - Episódio 11

12 de junho de 2024

Episódio 12 - Episódio 12

19 de junho de 2024

Episódio 13 - Episódio 13

26 de junho de 2024

Episódio 14 - Episódio 14

03 de julho de 2024

Episódio 15 - Episódio 15

10 de julho de 2024

Episódio 16 - Episódio 16

17 de julho de 2024

Nome original: 静态程序分析

Data de lançamento: 03 de abril de 2024

Série

Tempo médio: 103 minutos

Gêneros:

Sinopse: Software Analysis or Static Program Analysis is a course of Nanjing University developed by Tian Tan and Yue Li in Spring 2020. In this course, we will learn about static program analysis, a useful technique for improving the reliability, security and performance of software, and it becomes increasingly impactful in industries nowadays. The course covers two parts: theory and practice. In theory, various materials will be introduced: from the foundations of classical data-flow and pointer analyses to some advanced topics such as security analysis and soundiness. In practice, a brand new static program analysis framework called Tai-e was designed, on top of which we'll implement a series of assignments including live variable analysis, constant propagation, dead code detection, CHA call graph construction, context-insensitive and context-sensitive pointer analyses, and taint analysis.

Estatísticas

Avaliação: 0.00 (avaliado por 0 pessoas)

Popularidade:

Contagem: 0

Favoritos: 0