PPA 7/10: Data Flow Analysis
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
#lecture #programming #software #design #university #discipline
0:00 Introduction
1:50 Motivating Example. Unnasigned Variable
6:34 ChatGPT vs. Clang Tidy
11:02 MemorySanitizer
13:53 IntelliJ IDEA
15:53 Java Compiler
17:19 Method. Control Flow Graph
18:58 Six Properties of Data Flow Analysis
31:14 Over-approximation
33:23 Meet Operator
40:00 GEN and KILL Functions
42:37 Low Precision
46:47 Sensitivities. Path-Sensitive Analysis
50:16 Flow-Sensitive Analysis
53:28 Context-Sensitive Analysis
57:48 Most Common Types
1:17:22 Further Reading/Watching
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «PPA 7/10: Data Flow Analysis», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.