Title | Static Program Analysis - Season 1 Episode 14 Datalog-Based Program Analysis |
---|---|
Year | 2024 |
Genre | |
Country | |
Studio | |
Cast | Yue Li |
Crew | |
Alternative Titles | |
Keyword | |
First Air Date | Apr 03, 2024 |
Last Air date | Apr 10, 2024 |
Season | 1 Season |
Episode | 16 Episode |
Runtime | 26:14 minutes |
Quality | HD |
IMDb: | 0.00/ 10 by 0.00 users |
Popularity | 0.186 |
Language |
- 1. Course Introduction2024-04-03
- 2. Intermediate Representation2024-04-10
- 3. Data Flow Analysis - Applications I2024-04-17
- 4. Data Flow Analysis - Applications II2024-04-24
- 5. Data Flow Analysis - Foundations I2024-05-01
- 6. Data Flow Analysis - Foundations II2024-05-08
- 7. Interprocedural Analysis2024-05-15
- 8. Pointer Analysis2024-05-22
- 9. Pointer Analysis - Foundations I2024-05-29
- 10. Pointer Analysis - Foundations II2024-06-05
- 13. Static Analysis for Security2024-06-26
- 14. Datalog-Based Program Analysis2024-07-03
- 15. CFL-Reachability and IFDS2024-07-10
- 16. Soundness and Soundiness2024-07-17