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.
Keyword :
Season
Season 1
Episode
Course Introduction
Intermediate Representation
Data Flow Analysis - Applications I
Data Flow Analysis - Applications II
Data Flow Analysis - Foundations I
Data Flow Analysis - Foundations II
Interprocedural Analysis
Pointer Analysis
Pointer Analysis - Foundations I
Pointer Analysis - Foundations II
Pointer Analysis - Context Sensitivity I
Pointer Analysis - Context Sensitivity II
Static Analysis for Security
Datalog-Based Program Analysis
CFL-Reachability and IFDS
Soundness and Soundiness
Similar Movies
Recomendation Movies
