Static Program Analysis
(2024) | Returning Series | # of Seasons : 1 | # of Eps : 16
Ratings
Series Details
Seasons: 1
Total Episodes: 16
Creators:
Networks:
Status: Returning Series
First Air Date: Apr 3, 2024
Recent Air Date: Apr 10, 2024
Run Time: m
In Production: Yes
Original Language: Chinese
Age Rating: NR
Website: Link
Production Companies:
Sources:
Genres
Keywords
People Rated This
Where to watch Static Program Analysis
Sorry! We currently don't have any streaming links for this tv show yet :(
Check back soon! As soon as one of the many streaming/rental services add it to their catalogue, you will see it reflected here.
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.
