Օբյեկտ

Վերնագիր: Anxiety: A Dynamic Symbolic Execution Framework

Հեղինակ:

Gerasimov Alexander

Տեսակ:

Conference

Համահեղինակ(ներ):

Vartanov Sergey ; Ermakov Mikhail ; Kruglov Leonid ; Kutz Daniil ; Novikov Alexander ; Asryan Seryozha

Ամփոփում:

This paper presents a modular dynamic symbolic execution (DSE) framework Anxiety developed at Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS). The main purpose of creating yet another DSE framework is in moving forward research on DSE at ISP RAS, providing analysis support for different operating systems and platforms and continuing research for applications of DSE in a wide area of program analysis on top of this framework.

Նույնականացուցիչ:

oai:noad.sci.am:136150

Լեզու:

English

URL:


Կազմակերպության անվանում:

Syst. Program. Dept., ISP, Moscow, Russia ; Compiler Technol. Dept., ISP, Moscow, Russia

Երկիր:

Russia

Տարի:

2017

Ժամանակահատված:

November 30 - December 1

Գիտաժողովի անվանում:

Ivannikov ISPRAS Open Conference

Վայր:

Moscow

Մասնակցության տեսակը:

oral

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Apr 19, 2021

Մեր գրադարանում է սկսած:

Apr 19, 2021

Օբյեկտի բովանդակության հարվածների քանակ:

11

Օբյեկտի բոլոր հասանելի տարբերակները:

https://noad.sci.am/publication/149373

Ցույց տալ նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տալ նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Հրատարակության անուն Ամսաթիվ
Alexander Gerasimov, Anxiety: A Dynamic Symbolic Execution Framework Apr 19, 2021

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն