Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: binary codes

Sortuj według:

Ogranicz wyniki do:

Binary Analysis based on Symbolic Execution and Reversible x86 Instructions

Stoenescu T., Stefanescu A., Predut S., Ipate F.

Fundamenta Informaticae

2017

Vol. 153, nr 1/2

105--124

We present a binary analysis framework based on symbolic execution with the distinguishing capability to execute stepwise forward and also backward through the execution tree. It was developed internally at Bitdefender and code-named RIVER. The framework provides components such as a taint engine, a dynamic symbolic execution engine, and integration with Z3 for constraint solving. In this paper we will provide details on the framework and give an example of analysis on binary code.