BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis - Université Grenoble Alpes Access content directly
Conference Papers Year : 2016

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis

Thanh Dinh Ta
  • Function : Author
Josselin Feist
  • Function : Author
  • PersonId : 785694
  • IdRef : 223396761
Laurent Mounier
  • Function : Author
  • PersonId : 858856
Marie-Laure Potet
  • Function : Author

Abstract

When it comes to software analysis, several approaches exist from heuristic techniques to formal methods, which are helpful at solving different kinds of problems. 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.
Fichier principal
Vignette du fichier
2016-saner.pdf (336.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01721502 , version 1 (02-03-2018)

Identifiers

  • HAL Id : hal-01721502 , version 1

Cite

Robin David, Sébastien Bardin, Thanh Dinh Ta, Josselin Feist, Laurent Mounier, et al.. BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis. 3rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2016, Osaka, Japan. ⟨hal-01721502⟩
591 View
625 Download

Share

Gmail Facebook Twitter LinkedIn More