Abstract | ||
---|---|---|
When it comes to software analysis, several approaches exist from heuristic techniques to formal methods, which are helpful at solving different kinds ofproblems. Unfortunately very few initiative seek to aggregate this techniques in the same platform. BINSEC intend to fulfill this lack of binary analysis platform by allowing to perform modular analysis. This work focusses on BINSEC/SE, the new dynamic symbolic execution engine (DSE) implemented in BINSEC. We will highlight the novelties of the engine, especially in terms of interactions between concrete and symbolic execution or optimization of formula generation. Finally, two reverse engineering applications are shown in order to emphasize the tool effectiveness. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/SANER.2016.43 | 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) |
Keywords | Field | DocType |
DSE,Dynamic Analysis,BINSEC,Reverse-engineering,Pin,DBA,x86,SMT,Malwares | x86,Heuristic,Programming language,Computer science,Software analysis pattern,Reverse engineering,Symbolic execution,Formal methods,Modular design,Binary number | Conference |
Volume | Citations | PageRank |
1 | 11 | 0.49 |
References | Authors | |
7 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robin David | 1 | 42 | 2.59 |
Sébastien Bardin | 2 | 297 | 19.35 |
Thanh Dinh Ta | 3 | 18 | 1.30 |
Laurent Mounier | 4 | 1187 | 79.54 |
Josselin Feist | 5 | 86 | 4.79 |
Marie-Laure Potet | 6 | 190 | 21.34 |
Jean-yves Marion | 7 | 647 | 59.49 |