Report copyright - S2E: A Platform for In-Vivo Multi-Path Analysis of Software ...4 symboliques. En cas de branchements conditionnels, l’interpréteur sépare le chemin d’exécution en deux de manière
Please pass captcha verification before submit form