Accéder directement au contenu Accéder directement à la navigation

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

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.
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

http://hal.univ-grenoble-alpes.fr/hal-01721502
Contributeur : Laurent Mounier <>
Soumis le : vendredi 2 mars 2018 - 11:11:15
Dernière modification le : lundi 30 mars 2020 - 13:48:46
Document(s) archivé(s) le : jeudi 31 mai 2018 - 14:50:36

Fichier

2016-saner.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01721502, version 1

Citation

Robin David, Sébastien Bardin, Thanh 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⟩

Partager

Métriques

Consultations de la notice

676

Téléchargements de fichiers

419