Detection of Variable Misuse Using Static Analysis Combined with Machine Learning

Uploaded By: Myvideo

Published on

15 Mar 2020

5 views

0

0 votes

0

About Share Download Add to

Detection of Variable Misuse Using Static Analysis Combined with Machine Learning (Gleb Morgachev, ISPRASOPEN-2019) * Глеб Моргачев ------------- Industrial static analyzers are able to detect only several narrow classes of algorithmic errors, for example actual arguments order swapped with formal parameters, forgotten renaming of variable after copy-paste. However, even for these categories essential part of errors is lost because of heuristical design of a checker. We propose

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/K0FHeUhycDZwS2I1V0gyYkh4VldzQTBOZUpLL0U2cE9kelRQdUJUZngvTT0" 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

The Master and Margarita (Full Film with subtitles).

16 hours ago

07:46:08

The Master and Margarita (Full Film with subtitles).

3 87%

Город тайн: Исчезнувшая | Force of Nature: The Dry 2 | 2024г(Триллер, Детектив)США

18 hours ago

01:52:24

Город тайн: Исчезнувшая | Force of Nature: The Dry 2 | 2024г(Триллер, Детектив)США

97 52%

The biggest request from fighters now comes for thermal imaging sights and night vision devices, says Mikhail Kuznetsov, head

21 hour ago

00:01:19

The biggest request from fighters now comes for thermal imaging sights and night vision devices, says Mikhail Kuznetsov, head

1 25%

The destruction of a Ukrainian combat armored vehicle by a crew of FPV attack drones from the North military group in the Kharko

24 hours ago

00:00:17

The destruction of a Ukrainian combat armored vehicle by a crew of FPV attack drones from the North military group in the Kharko

3 35%

НЕОБЫЧНЫЙ РОК: альбом-детектив Боуи, эмбиэнт-хоррор Металлики и песня длиной в 45 минут

1 day ago

00:20:34

НЕОБЫЧНЫЙ РОК: альбом-детектив Боуи, эмбиэнт-хоррор Металлики и песня длиной в 45 минут

1.3K 23%

The destruction of an enemy pickup truck by servicemen of the West group of troops during a rotation at Ukrainian Armed Forces p

1 day ago

00:00:14

The destruction of an enemy pickup truck by servicemen of the West group of troops during a rotation at Ukrainian Armed Forces p

1 59%

Oniikami Enna's gacha PAIN

1 day ago

00:00:59

Oniikami Enna's gacha PAIN

2 42%

Guarantee of secured sky

1 day ago

00:00:46

Guarantee of secured sky

1 51%

MLRS Uragan crews of the Vostok group of forces destroyed the manpower and armored vehicles of the Ukrainian Armed Forces in

1 day ago

00:01:03

MLRS Uragan crews of the Vostok group of forces destroyed the manpower and armored vehicles of the Ukrainian Armed Forces in

1 34%

Смарт часы D13 - случилось страшное... ну - почти :-)

1 day ago

00:02:20

Смарт часы D13 - случилось страшное... ну - почти :-)

1 42%

BENTLY NEVADA 60M100 00 John Yang Email : sales3@ Phone/WhatsApp : +8618150117685

1 day ago

00:00:20

BENTLY NEVADA 60M100 00 John Yang Email : sales3@ Phone/WhatsApp : +8618150117685

1 89%

Air cover for units of the Center group of forces was organized by the Buk-M2 air defense missile system crew in the Krasnoarmey

1 day ago

00:01:01

Air cover for units of the Center group of forces was organized by the Buk-M2 air defense missile system crew in the Krasnoarmey

1 65%

A new Chinese mobile radar station designed to detect stealth aircraft, including American F-35 and F-22 fighters, has arrive

1 day ago

00:00:15

A new Chinese mobile radar station designed to detect stealth aircraft, including American F-35 and F-22 fighters, has arrive

2 41%

What happens if you open a GIANT NEST OF HORNETS

2 days ago

00:10:42

What happens if you open a GIANT NEST OF HORNETS

2 40%

Destruction of a Ukrainian Armed Forces tank near the settlement of Stupochki

2 days ago

00:00:33

Destruction of a Ukrainian Armed Forces tank near the settlement of Stupochki

3 59%

A new Chinese mobile radar station designed to detect stealth aircraft, including American F-35 and F-22 fighters, in Zhuhai. Но

2 days ago

00:00:09

A new Chinese mobile radar station designed to detect stealth aircraft, including American F-35 and F-22 fighters, in Zhuhai. Но

4 24%

KIEV CLAIMS NORTH KOREAN TROOPS DISGUISED AS BURYATS to avoid detection in pre-war #Russias Kursk region

2 days ago

00:00:47

KIEV CLAIMS NORTH KOREAN TROOPS DISGUISED AS BURYATS to avoid detection in pre-war #Russias Kursk region

1 52%

The destruction of a Ukrainian Armed Forces vehicle by an FPV drone operator of the North group of troops in the Kharkov region

2 days ago

00:00:11

The destruction of a Ukrainian Armed Forces vehicle by an FPV drone operator of the North group of troops in the Kharkov region

2 67%

Our servicemen hunt for Baba Yaga UAVs

2 days ago

00:01:12

Our servicemen hunt for Baba Yaga UAVs

1 26%

Guards paratroopers of the Ivanovo Airborne Forces unit on combat missions and training grounds of the special military operatio

2 days ago

00:02:06

Guards paratroopers of the Ivanovo Airborne Forces unit on combat missions and training grounds of the special military operatio

3 29%

Chinese stealth target detection radar in combat position in Zhuhai

2 days ago

00:00:09

Chinese stealth target detection radar in combat position in Zhuhai

1 47%

Combat work of the crews of the Msta-S self-propelled howitzers of the North group of forces in the area of the special milita

2 days ago

00:01:13

Combat work of the crews of the Msta-S self-propelled howitzers of the North group of forces in the area of the special milita

1 25%

Objective control of the destruction of a Ukrainian Armed Forces vehicle by a Lancet loitering munition in the border area of

3 days ago

00:00:24

Objective control of the destruction of a Ukrainian Armed Forces vehicle by a Lancet loitering munition in the border area of

1 11%

Accurate drop

3 days ago

00:00:09

Accurate drop

1 25%

0 Comments

Guest