Back to Search
Start Over
Binary Analysis based on Symbolic Execution and Reversible x86 Instructions.
- Source :
-
Fundamenta Informaticae . 2017, Vol. 153 Issue 1-2, p105-124. 20p. - Publication Year :
- 2017
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 01692968
- Volume :
- 153
- Issue :
- 1-2
- Database :
- Academic Search Index
- Journal :
- Fundamenta Informaticae
- Publication Type :
- Academic Journal
- Accession number :
- 123500051
- Full Text :
- https://doi.org/10.3233/FI-2017-1533