Web series

Static Program Analysis

0.0(0)20241 season · 16 episodes—

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.

Share WhatsApp Telegram
Status
Returning Series
Type
Scripted
Last aired
2024-07-17
Language
ZH

Seasons

Top billed cast

Videos

No extra videos are listed for this title yet.

Air dates

First aired
2024-04-03
Latest episode
2024-07-17
Status
Returning Series
Next release
In production
  • Season 13 Apr 2024

Frequently asked questions

Streaming availability for Static Program Analysis in India is not confirmed yet. Check back soon.

Member reviews

Sign in to rate and review. Browsing stays free and open.

Sign in

Member comments

0

Sign in to post a comment. Browsing stays free and open.

Sign in

More series like this