Static Program Analysis (2024)
Synopsis
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-07-17
Number of Seasons: 1
Number of Episodes: 16
Top Cast
- Yue Li as N/A
Seasons
None (2024)
test
Episodes:
-
Ep. 1: Course Introduction
Course Introduction
-
Ep. 2: Intermediate Representation
No overview for this episode.
-
Ep. 3: Data Flow Analysis - Applications I
No overview for this episode.
-
Ep. 4: Data Flow Analysis - Applications II
No overview for this episode.
-
Ep. 5: Data Flow Analysis - Foundations I
test
-
Ep. 6: Data Flow Analysis - Foundations II
No overview for this episode.
-
Ep. 7: Interprocedural Analysis
No overview for this episode.
-
Ep. 8: Pointer Analysis
No overview for this episode.
-
Ep. 9: Pointer Analysis - Foundations I
No overview for this episode.
-
Ep. 10: Pointer Analysis - Foundations II
No overview for this episode.
-
Ep. 11: Pointer Analysis - Context Sensitivity I
No overview for this episode.
-
Ep. 12: Pointer Analysis - Context Sensitivity II
No overview for this episode.
-
Ep. 13: Static Analysis for Security
No overview for this episode.
-
Ep. 14: Datalog-Based Program Analysis
No overview for this episode.
-
Ep. 15: CFL-Reachability and IFDS
No overview for this episode.
-
Ep. 16: Soundness and Soundiness
No overview for this episode.
Trailers & Videos
No trailers or videos found.
Images & Backdrops
No additional images or backdrops found.
Where to Watch
No watch providers found for this movie in TW.