Charla impartida por Rubén Santamarta de la empresa, Reverse Engineer at Wintercore, para el evento Asegur@it8 que tuvo lugar en Valencia.

2. Binary Diffing I
● Código fuente
OpenSSL Debian fiasco
Unidad Principal: Byte

3. Binary Diffing II
● Ficheros en crudo, binarios, imágenes...
Unidad Principal: Byte

4. Executable Binary Diffing I
● Basic Blocks como unidad principal.

5. Executable Binary Diffing II
● Heurísticas en base a funciones. Flow Graph.
Antes del parche Después del parche
A
A
B C'
B C
E
D
D

6. Executable Binary Diffing III
● Heurísticas en base a funciones. Basic Blocks.
Antes del parche Después del parche
C C'
● Se añaden o modifican instrucciones

7. Executable Binary Diffing IV
A A'
B C B' C'
D D

8. Executable Binary Diffing V
● Herramientas
● BinDiff – Comercial
● DarumGrim – Open Source
● TurboDiff – Open Source
● PatchDiff – Open Source
● Todas basadas en IDA

9. ¿Quién y por qué ?
● Empresas como
● Secunia
● Vupen
● Tenable
● Los “malos”
● 1-day exploits
● Targeted attacks..

10. Analizando Parches
● Microsoft
saca boletines de seguridad el 2º
Martes de mes aka “Black Tuesday”
● No están todas las que son, ni son todas las
que están.
● Evaluación de impacto.
● Cualquier tipo de información es altamente util.
● PoCs públicas -Kostya
● Mensajes en Blogs – Elia Florio
● Información del boletín
● KBXXXXXX – GDR – QFE

11. “Pilladas”
● Optimización de “CVEs”
● Deliberadas
● Windows SMTP Service DNS query Id vulnerabiliti

12. Casos Reales
● MS08-25 WIN32K!NTUSERFNOUTSTRING
● 0x7FFFFFFF - signed

13. Demo
¡¡ El Paint !! respecto!
MS010-005
● Integer Overflow
● MAX+1 = FAIL
● JPGs,BMPs...

14. Demo
CBmpStream::Write(void const *, unsigned long, unsigned long *)
Después del parche

15. Demo
 Empíricamente: W*H*BPP
 Resolver inecuacion (x^2)*n > MAX_ULONG
 x > 37837

16. 
Gracias por venir
 “Y sin embargo se mueve”. Galileo Galilei.
Rubén Santamarta
- contact (at) reversemode (dot) com
- www.reversemode.com
- www.wintercore.com
- blog.48bits.com