Vergé, A. (2013). Conception d'un analyseur de binaire ARM. (Rapport technique n° EPM-RT-2013-03). Disponible