On the problems of developing KLEE based symbolic interpreter of binary files | Zendy

Vasiliy Koov | Zendy; Victor A. Rusakov | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

On the problems of developing KLEE based symbolic interpreter of binary files

Author(s) -

Vasiliy Koov,

Victor A. Rusakov

Publication year - 2018

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2018.11.058

Subject(s) - computer science , interpreter , symbol (formal) , binary number , set (abstract data type) , programming language , symbolic execution , the symbolic , theoretical computer science , symbolic data analysis , software , arithmetic , psychology , mathematics , psychoanalysis

Analysis of software that supports symbolic execution of binary files is carried out. The models of symbolic memory are analyzed. The approaches of processing cycles are described. The ways of using solvers and analysis of their performance are shown for symbolic execution. The tasks of further development of the interpreter are set. The results obtained can be used to develop a symbol interpreter for the validation of deep neural networks.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research