TrendiMovies

Watchlist Sign In

Your ultimate destination for discovering movies, TV shows, reviews, and finding where to stream your favorites. Join millions of movie enthusiasts.

Discover

Popular Movies
Popular TV Shows
Upcoming Movies
Top Rated

Genres

Action
Comedy
Drama
Horror

Company

About Us
Contact
Privacy Policy
Terms of Service

Subscribe to our newsletter

Get the latest movie news and recommendations delivered to your inbox.

© 2026 TrendiMovies. All rights reserved.

Data provided by TMDB

Static Program Analysis - Season 1 | TrendiMovies

Season 1

Static Program Analysis

Season 1

April 3, 2024

16Episodes

test

Episodes

1

E1

1. Course Introduction

April 3, 2024

Course Introduction

2

E2

2. Intermediate Representation

April 10, 2024

3

E3

3. Data Flow Analysis - Applications I

April 17, 2024

4

E4

4. Data Flow Analysis - Applications II

April 24, 2024

5

E5

5. Data Flow Analysis - Foundations I

May 1, 2024

103 min

test

6

E6

6. Data Flow Analysis - Foundations II

May 8, 2024

7

E7

7. Interprocedural Analysis

May 15, 2024

8

E8

8. Pointer Analysis

May 22, 2024

9

E9

9. Pointer Analysis - Foundations I

May 29, 2024

10

E10

10. Pointer Analysis - Foundations II

June 5, 2024

11

E11

11. Pointer Analysis - Context Sensitivity I

June 12, 2024

12

E12

12. Pointer Analysis - Context Sensitivity II

June 19, 2024

13

E13

13. Static Analysis for Security

June 26, 2024

14

E14

14. Datalog-Based Program Analysis

July 3, 2024

15

E15

15. CFL-Reachability and IFDS

July 10, 2024

16

E16

16. Soundness and Soundiness

July 17, 2024