PPA 6/10: Ingredients of Program 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 0:48 Basics. Property 5:04 Rice’s Theorem 9:15 Non-trivial Properties 11:19 Static Analysis 15:16 Style Checking 17:48 Dynamic Analysis 21:16 Quality. Sound & Complete 28:05 Metrics 34:00 Experiment 44:09 Flip of Terminology 48:20 Lattice. Total Order 51:22 Partially Ordered Set 53:06 Lattice 1:01:20 Intervals 1:05:03 Abstract Interpretation 1:08:30 Approximation 1:11:22 Abstraction & Concretization 1:19:48 Abstract Semantics (Transformers) 1:22:04 Fixed-Point Computation 1:28:40 Conclusion