НАН РА. Математические вопросы кибернетики и вычислительной техники=Mathematical problems of computer science

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

Keropyan, Grigor S. and Vardanyan, Vahagn G. and Aslanyan, Hayk K. and Kurmangaleev, Shamil F. and Gaissaryan, Sergey S. (2017) Multiplatform Use-After-Free and Double-Free Detection in Binaries*. Математические вопросы кибернетики и вычислительной техники, № 48. pp. 50-56. ISSN 0131-4645

[img] PDF
Download (252Kb)

    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.

    Item Type: Article
    Additional Information: Երկուական կոդում ազատված հիշողության օգտագործման և հիշողության կրկնակի ազատման սխալների հայտնաբերման բազմապլատֆորմ համակարգ / Գ. Քերոբյան, Վ․Վարդանյան, Հ․Ասլանյան, Շ․ Կուրմանգալեև, Ս․ Գայսարյան: Мультиплатформное нахождение ошибок использования памяти после освобождения и повторного освобождения памяти в бинарном коде / Г. Керопян, В. Вартанян, А. Асланян, Ш. Курмангалеев, С. Гайсарян
    Uncontrolled Keywords: Binary static analysis, Use-after-free, Dangling pointer detection.
    Subjects: Q Science > QA Mathematics
    Divisions: UNSPECIFIED
    Depositing User: FSL Bibl. Dept.
    Date Deposited: 15 Oct 2018 12:16
    Last Modified: 15 Oct 2018 12:16
    URI: http://compsci.asj-oa.am/id/eprint/883

    Actions (login required)

    View Item