Home

Static Program Analysis (2024-2024)

Gallery Unavailable

Premiere:
April 3, 2024

# of Seasons: 1

# of Episodes: 16

Finale:
April 10, 2024

Original Title:
静态程序分析

Countries:
CN

Overview from TheMovieDB

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.

Click the heading above to show or hide the text.

Additional information:

The Search Form


Performers

Click the heading above to show or hide the list.

About the Movie Section

Most data and links to images for the Movies section come from TheMovieDB (TMDB).

Additional data for Film Titles come from The Open Movie Database (OMDb).

At least one plug-in comes from IMDb.

Data are -- hey, it's a plural -- subject to the limitations of their sources. (For example, TMDB search results currently max out at 20.) I am limiting myself to free data sources for now. (No, a "free trial" is not free.)

While much of the above data are retrieved directly from outside APIs and other such sources, data from American Film Institute (AFI) and British Film Institute (BFI) were manually entered the old fashioned way into a MySQL database. Re BFI I took the following liberties:

  • I added "runners up" to Top 10 lists, treating them as ties where applicable and numbering them accordingly at the bottom of each list.
  • Regarding those polls wherein "franchise" movies were submitted as one project until BFI's policy changed to regard them separately, I treated them as ties and renumbered the affected lists accordingly (e.g. the Godfather films).

Regarding profile removals and data corrections:

  • If you would like your profile removed from this site, please contact the source of this data directly, TheMovieDB. My assumption is: once it's gone from their site, it should soon be gone from this site.
  • If you would like to correct movie data on this site, please contact the source of this data directly, TheMovieDB. My assumption is: once it's corrected on their site, it should soon be corrected on this site.
  • For additional corrections and profile removals, please e-mail The Open Movie Database (OMDb).

Filtering is applied here to film projects flagged as "adult" by TheMovieDB. Pending "popular demand" I am contemplating a login and profile system with preferences (such as whether to allow adult images to appear) and permissions (such as data entry).

Whereas the overall purpose of this website is to serve as a personal demo/portfolio/workshop of web and data skills, this Movies section is not meant to compete with or substitute for far more definitive movie websites.

Whether or not he still clings to an award which he won in 1986 as a film critic for his college's newspaper, Jeffrey Hartmann is not responsible for the texts of overviews and biographies supplied by external data sources.