PPA 6/10: Ingredients of Program Analysis [program analysis crash course]

A lecture for BSc students in Innopolis University.

Blog: https://www.yegor256.com
Books: https://www.yegor256.com/books.html
GitHub: https://github.com/yegor256 (don’t hesitate to follow in order to stay informed)
Telegram channel with recent news and updates: https://t.me/yegor256news (subscribe to not miss a thing)
Twitter with daily and weekly updates: https://twitter.com/yegor256 (follow me!)
iTunes: https://podcasts.apple.com/us/podcast/yegor256-podcast/id1150826721
SoundCloud: https://soundcloud.com/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

Видео PPA 6/10: Ingredients of Program Analysis [program analysis crash course] канала Yegor Bugayenko