PPA 7/10: Data Flow 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
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
16 views
1762
480
3 weeks ago 00:00:52 90
Бабушкины супчики
1 month ago 00:05:07 38
Домашние заготовки | новый сезон
2 months ago 02:36:11 1
Учет аренды у арендатора и арендодателя, лизинг. Урок №2 из курса “Большой разбор ФСБУ 25/2018“
2 months ago 00:00:04 12
Короче, праздники на этой неделе:
2 months ago 01:18:47 16
PPA 7/10: Data Flow Analysis [program analysis crash course]
2 months ago 01:45:31 2.3K
АГОНИЯ УКРАИНЫ 951 день | Иран VS Израиль кто кого
3 months ago 00:02:21 2.3K
Рыбалка и Охота
3 months ago 00:13:03 77
Подготовка боксера к соревнованиям “Хочу сдать на краповый берет“ Спецназа
3 months ago 00:00:35 7
Вкусная выпечка
3 months ago 00:00:50 48
Шикарная выпечка
3 months ago 00:01:18 1.1K
Новости дня
3 months ago 00:01:18 1.3K
Что нового
3 months ago 00:00:35 69
Вкусная выпечка.
4 months ago 00:29:46 9
video788953126
4 months ago 00:00:50 58
Бабушкина выпечка
4 months ago 00:01:14 372
Царские иконы “Яко орля крылья“ и “Самодержавная“
4 months ago 00:08:55 1.9K
Суд об УДО. Обжалуем отказ. Абаканский городской суд
4 months ago 00:31:40 4
Учет лизинга на балансе лизингополучателя в 2022 г.
5 months ago 00:15:01 1
Интересный тест на эрудицию и кругозор #45 | Насколько Вы умны? #викторина #эрудиция #тест
5 months ago 00:01:44 112
Ким 8 (10 в 1) мини
5 months ago 00:01:15 1
️Уκpaинцaм дaют cвeт пο тpи чaca в cутκи. Ϲитуaция в уκpaинcκοй ϶нepгeтиκe пpοдοлжaeт уxудшaтьcя. Οб ϶тοм в ϶фиpe cвοeгο интepнe