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
Syst. Program. Dept., ISP, Moscow, Russia ; Compiler Technol. Dept., ISP, Moscow, Russia
Ivannikov ISPRAS Open Conference
Apr 19, 2021
Apr 19, 2021
18
https://noad.sci.am/publication/149373
Edition name | Date |
---|---|
Alexander Gerasimov, Anxiety: A Dynamic Symbolic Execution Framework | Apr 19, 2021 |