Title | ||
---|---|---|
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. |
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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-48989-6_50 | Lecture Notes in Computer Science |
Field | DocType | Volume |
x86,Computer science,Parallel computing,Binary analysis,Real-time computing,Taint checking,Symbolic execution,Intermediate language | Conference | 9995 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Teodor Stoenescu | 1 | 1 | 1.04 |
Alin Stefanescu | 2 | 209 | 17.79 |
Sorina Predut | 3 | 0 | 0.34 |
Florentin Ipate | 4 | 419 | 43.20 |