PPA 8/10: Symbolic Execution program analysis crash course

Uploaded By: Myvideo

Published on

2 Oct 2024

1 view

0

0 votes

0

About Share Download Add to

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 3:14 What is Symbolic Execution. Control Flow Graph 6:50 Path Feasibility 9:32 Symbols 14:01 Path Conditions 17:30 Constraint Solver 25:10 Practice. SAT Solvers 28:53 SMT Solvers 36:16 Unsolvable Constraints 41:07 Path Explosion 47:16 Clang Tidy vs. ChatGPT 51:43 Clang Static Analyzer 55:30 Test Generation. Symbolic Input 1:00:08 Compile to LLVM Bitcode 1:02:20 Test Cases 1:05:15 Concoling Testin. Motivating Example 1:16:41 Conclusion

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/NHZVOU9RbmtscVpWR3MzTHRnMDZDcVp2aTdJS3JCbEV3bDR2QTBrbTl6QT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

Не Пирог А золото!

4 days ago

00:04:15

Не Пирог А золото!

2.1K 82%

Короче, праздники на этой неделе:

1 month ago

00:00:04

Короче, праздники на этой неделе:

12 53%

PPA 10/10: Code Analysis With Machine Learning program analysis crash course

2 months ago

01:17:41

PPA 10/10: Code Analysis With Machine Learning program analysis crash course

13 21%

PPA 8/10: Symbolic Execution program analysis crash course

2 months ago

01:17:45

PPA 8/10: Symbolic Execution program analysis crash course

11 22%

PPA 2/10: Syntax Analysis program analysis crash course

2 months ago

01:22:37

PPA 2/10: Syntax Analysis program analysis crash course

12 57%

АГОНИЯ УКРАИНЫ 951 день | Иран VS Израиль кто кого

2 months ago

01:45:31

АГОНИЯ УКРАИНЫ 951 день | Иран VS Израиль кто кого

2.2K 30%

Видео от Выпечка Салаты

2 months ago

00:00:59

Видео от Выпечка Салаты

75 71%

Установка PostgreSQL от 1С на Ubuntu

2 months ago

00:10:46

Установка PostgreSQL от 1С на Ubuntu

13 8%

Рыбалка и Охота

2 months ago

00:02:21

Рыбалка и Охота

2.3K 92%

Вкусная выпечка

3 months ago

00:00:35

Вкусная выпечка

7 28%

Шикарная выпечка

3 months ago

00:00:50

Шикарная выпечка

48 35%

Новости дня

3 months ago

00:01:18

Новости дня

1.1K 44%

Что нового

3 months ago

00:01:18

Что нового

1.3K 13%

Вкусная выпечка.

3 months ago

00:00:35

Вкусная выпечка.

69 41%

ДОХОДНОСТЬ ДАЖЕ В КРИЗИС. Портфель с доходностью 39.8%. Публичный портфель #2

3 months ago

00:06:59

ДОХОДНОСТЬ ДАЖЕ В КРИЗИС. Портфель с доходностью 39.8%. Публичный портфель #2

1 73%

Бабушкина выпечка

4 months ago

00:00:50

Бабушкина выпечка

58 6%

Царские иконы Яко орля крылья и Самодержавная

4 months ago

00:01:14

Царские иконы Яко орля крылья и Самодержавная

372 48%

Firefox's ad tech, CrowdStrike shenanigans, SecureBoot broken: Linux & Open Source News

4 months ago

00:19:42

Firefox's ad tech, CrowdStrike shenanigans, SecureBoot broken: Linux & Open Source News

1 82%

Учет лизинга на балансе лизингополучателя в 2022 г.

4 months ago

00:31:40

Учет лизинга на балансе лизингополучателя в 2022 г.

4 13%

Интересный тест на эрудицию и кругозор #45 | Насколько Вы умны #викторина #эрудиция #тест

4 months ago

00:15:01

Интересный тест на эрудицию и кругозор #45 | Насколько Вы умны #викторина #эрудиция #тест

1 5%

Ким 8 (10 в 1) мини

4 months ago

00:01:44

Ким 8 (10 в 1) мини

110 88%

Сломаны одновременно два лифта. Алгоритм Ваших действий.

5 months ago

00:06:14

Сломаны одновременно два лифта. Алгоритм Ваших действий.

1 5%

2 ноября 8

5 months ago

00:00:28

2 ноября 8

29 67%

Santiago, Chile (4K)

5 months ago

00:08:21

Santiago, Chile (4K)

1 8%

0 Comments

Guest