Static Program Analysis
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.
First Air Date : 2024-04-03
Last Air date : 2024-04-10
Runtime : 57 minutes
Genre :
Cast : Yue Li
Crew :
Quality :
Subtitles :
- Season 1 : Episode 12024-04-03
- Season 1 : Episode 22024-04-10
- Season 1 : Episode 32024-04-17
- Season 1 : Episode 42024-04-24
- Season 1 : Episode 52024-05-01
- Season 1 : Episode 62024-05-08
- Season 1 : Episode 72024-05-15
- Season 1 : Episode 82024-05-22
- Season 1 : Episode 92024-05-29
- Season 1 : Episode 102024-06-05
- Season 1 : Episode 112024-06-12
- Season 1 : Episode 122024-06-19
- Season 1 : Episode 132024-06-26
- Season 1 : Episode 142024-07-03
- Season 1 : Episode 152024-07-10
- Season 1 : Episode 162024-07-17