Object

Title: Anxiety: A Dynamic Symbolic Execution Framework

Co-author(s) :

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

Abstract:

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.

Identifier:

oai:noad.sci.am:136150

Language:

English

URL:


Affiliation:

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

Country:

Russia

Year:

2017

Time period:

November 30 - December 1

Conference title:

Ivannikov ISPRAS Open Conference

Place:

Moscow

Participation type:

oral

Object collections:

Last modified:

Apr 19, 2021

In our library since:

Apr 19, 2021

Number of object content hits:

18

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

This page uses 'cookies'. More information