Text this: Análisis de binarios usando ejecución simbólica