PPA 8/10: Symbolic Execution program analysis crash course

Uploaded By: Myvideo

Published on

2 Oct 2024

11 views

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

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

1 day ago

00:04:15

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

1.2K 23%

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

3 months ago

00:00:04

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

12 73%

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

3 months ago

01:17:41

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

15 78%

PPA 8/10: Symbolic Execution program analysis crash course

3 months ago

01:17:45

PPA 8/10: Symbolic Execution program analysis crash course

13 16%

PPA 2/10: Syntax Analysis program analysis crash course

3 months ago

01:22:37

PPA 2/10: Syntax Analysis program analysis crash course

13 71%

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

3 months ago

01:45:31

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

2.3K 31%

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

3 months ago

00:00:59

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

75 38%

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

3 months ago

00:10:46

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

17 14%

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

3 months ago

00:02:21

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

2.3K 10%

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

4 months ago

00:00:35

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

7 80%

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

4 months ago

00:00:50

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

48 62%

Новости дня

4 months ago

00:01:18

Новости дня

1.1K 95%

Что нового

4 months ago

00:01:18

Что нового

1.3K 59%

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

4 months ago

00:00:35

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

69 34%

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

4 months ago

00:06:59

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

1 70%

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

5 months ago

00:00:50

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

58 58%

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

5 months ago

00:01:14

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

427 38%

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

5 months ago

00:19:42

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

1 21%

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

5 months ago

00:31:40

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

4 77%

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

5 months ago

00:15:01

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

1 87%

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

5 months ago

00:01:44

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

126 89%

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

6 months ago

00:06:14

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

1 55%

2 ноября 8

6 months ago

00:00:28

2 ноября 8

29 36%

Santiago, Chile (4K)

6 months ago

00:08:21

Santiago, Chile (4K)

1 16%

0 Comments

Guest