Journal or Publication Title:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Date of publication:

2017

Volume:

48

ISSN:

0131-4645

Additional Information:

Քերոբյան Գ., Վարդանյան Վ․, Ասլանյան Հ․, Կուրմանգալեև Շ․, Գայսարյան Ս., Керопян Г., Вартанян В., Асланян А., Курмангалеев Ш., Гайсарян С.

Title:

Multiplatform Use-After-Free and Double-Free Detection in Binaries*

Other title:

Երկուական կոդում ազատված հիշողության օգտագործման և հիշողության կրկնակի ազատման սխալների հայտնաբերման բազմապլատֆորմ համակարգ; Мультиплатформное нахождение ошибок использования памяти после освобождения и повторного освобождения памяти в бинарном коде

Creator:

Grigor S. Keropyan ; Vahagn G. Vardanyan ; Hayk K. Aslanyan ; Shamil F. Kurmangaleev ; Sergey S. Gaissaryan

Subject:

Mathematics

Uncontrolled Keywords:

Binary static analysis ; Use-after-free ; Dangling pointer detection.

Coverage:

50-56

Abstract:

Use-after-free (UAF) defects are a class of memory corruption bugs, which occur when a program continues to use a pointer after it has been freed. Double-free (DF) defects arise when the same memory is freed more than once. The developed platform is capable to analyze binaries of several architectures (x86, x86-64, MIPS, POWER-PC, ARM) and is based on program static analysis approach. For program analysis SDG (System Dependence Graph) machine-independent representation is used. SDG combines call graph, control and data flow graphs of the program.

Publisher:

Изд-во НАН РА

Date created:

2017-12-14

Type:

Հոդված

Format:

pdf

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան