Mise à plat de graphes de flot de contrôle et exécution symboliqueEloi Vanderbéken

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.