Libros — symbolic execution

Análisis práctico de archivos binarios. Cómo crear tu propio conjunto de herramientas en Linux para instrumentar, analizar y desensamblar archivos binarios.