PPA 3/10: Contextual Analysis program analysis crash course

A lecture for BSc students in Innopolis University. Blog: Books: GitHub: (don’t hesitate to follow in order to stay informed) Telegram channel with recent news and updates: (subscribe to not miss a thing) Twitter with daily and weekly updates: (follow me!) iTunes: SoundCloud: Yandex Music podcast by yegor256: 0:00 Introduction 2:02 Code Understanding Pipeline 5:06 Concrete vs. Abstract Syntax Tree 12:51 Identification 24:42 Static Type Checking 45:44 AST Visitor 58:30 Decorated AST 1:03:25 Control Flow Graph (CFG) 1:07:39 Code 1:14:00 XSL Code 1:17:48 Conclusion 1:11:22 Abstraction & Concretization 1:19:48 Abstract Semantics (Transformers) 1:22:04 Fixed-Point Computation 1:28:40 Conclusion