On the problems of developing KLEE based symbolic interpreter of binary files
Vasiliy Kononov, Victor A. Rusakov · Procedia Computer Science · 2018
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.