La personne a quitté EURECOM Nom : POEPLAU Sebastian Thesis Intégrer l’exécution symbolique dans les exécutable pour augmenter la performance de l’analyse