Mise à plat de graphes de flot de contrôle et exécution symbolique — Eloi Benoist-Vanderbeken
Date : 05 June 2013 à 11:30 — 30 min.
La présentation s'articulera autour de 4 points :
- théorie sur l'exécution symbolique, hypothèses choisies, etc.
- présentation de l'outil développé permettant l'émulation et l'exécution symbolique (mélange de IDA python et de Z3)
- explication de la réunion des deux pour la reconstruction du CFG original de la fonction protégée.
- présentation des différentes améliorations possible et des limitations de la méthode tant du point de vue de l'outil créé que de l'obfuscation.