Outils d'utilisateurs

Outils du Site


ndh2k12_public:crackme:bukakke

Différences

Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.

Lien vers cette vue

ndh2k12_public:crackme:bukakke [2012/07/02 12:36]
TheLizardKing [Main function]
ndh2k12_public:crackme:bukakke [2017/04/09 15:33] (Version actuelle)
Ligne 109: Ligne 109:
 </code> </code>
  
-Bon, on voit un certains nombre de ''mov [ebp-xx],0xyy'', je décide de ne pas y prêter attention pour le moment. On remarque surtout l'appel à la fonction ''WhatisIt'' avec laquelle notre serial est passé en argument, ainsi que l'appel à ''ccc'' qui passe en argument quelque chose stocké en ''ebp-0x28'' ainsi que ''ebp-0x48''. Ceci parait louche, d'autant qu'il y a un certain nombre de ''mov'' sur l'''ebp''. La suite du programme dépend de ce que renvois ''ccc'' dans ''eax''. Si c'est un 0, le serial n'est pas le bon, si c'est autre chose, le mot de passe est le bon.+Bon, on voit un certain nombre de ''mov [ebp-xx],0xyy'', je décide de ne pas y prêter attention pour le moment. On remarque surtout l'appel à la fonction ''WhatisIt'' avec laquelle notre serial est passé en argument, ainsi que l'appel à ''ccc'' qui passe en argument quelque chose stocké en ''ebp-0x28'' ainsi que ''ebp-0x48''. Ceci parait louche, d'autant qu'il y a un certain nombre de ''mov'' sur l'''ebp''. La suite du programme dépend de ce que renvoie ''ccc'' dans ''eax''. Si c'est un 0, le serial n'est pas le bon, si c'est autre chose, le mot de passe est le bon.
  
 Il ne nous reste plus qu'à regarder ce que font ''WhatisIt'' et ''ccc''. Il ne nous reste plus qu'à regarder ce que font ''WhatisIt'' et ''ccc''.
  
-===== WhatisIt function =====+Il est probable que la fonction ''WhatisIt'' soit là pour chiffrer notre serial et calculer celui d'origine. Je décide d'essayer de résoudre le challenge en regardant uniquement la fonction ''ccc''.
  
 ===== ccc function ===== ===== ccc function =====
  
  
 +<code asm>
 +gdb$ disas 0x8048cb4
 +Dump of assembler code for function ccc:
 +   0x08048cb4 <+0>: push   ebp
 +   0x08048cb5 <+1>: mov    ebp,esp
 +   0x08048cb7 <+3>: sub    esp,0x10
 +   0x08048cba <+6>: mov    DWORD PTR [ebp-0x4],0x0       ; ebp-0x4 <- 0 (initialisation)
 +   0x08048cc1 <+13>: jmp    0x8048ce8 <ccc+52>            ; début d'une boucle
 +   0x08048cc3 <+15>: mov    eax,DWORD PTR [ebp-0x4]       ; eax <- ebp-0x4 (compteur)
 +   0x08048cc6 <+18>: mov    edx,DWORD PTR [ebp+0x8]       ; edx <- une chaine bizarre 
 +   0x08048cc9 <+21>: add    eax,edx
 +   0x08048ccb <+23>: movzx  edx,BYTE PTR [eax]            ; prend le char N°eax de la chaine bizarre
 +   0x08048cce <+26>: mov    eax,DWORD PTR [ebp-0x4]       ; eax <- ebp-0x4 (compteur)
 +   0x08048cd1 <+29>: mov    ecx,DWORD PTR [ebp+0xc]       ; ecx <- une seconde chaine bizarre
 +   0x08048cd4 <+32>: add    eax,ecx
 +   0x08048cd6 <+34>: movzx  eax,BYTE PTR [eax]            ; prend le char N°eax de la seconde chaine bizarre
 +   0x08048cd9 <+37>: cmp    dl,al                         ; compare les deux chars
 +   0x08048cdb <+39>: je     0x8048ce4 <ccc+48>            ; ils sont égaux
 +   0x08048cdd <+41>: mov    eax,0x0                       ; si non, eax <- 0
 +   0x08048ce2 <+46>: jmp    0x8048cf3 <ccc+63>            ; on sort de la fonction ! (return 0) <=> le serial n'est pas le bon
 +   0x08048ce4 <+48>: add    DWORD PTR [ebp-0x4],0x1       ; si les deux chars sont égaux, on incrémente de 1 le compteur
 +   0x08048ce8 <+52>: cmp    DWORD PTR [ebp-0x4],0x1f      ;
 +   0x08048cec <+56>: jbe    0x8048cc3 <ccc+15>            ; la boucle tourne 32 fois (ça fait tilt?)
 +   0x08048cee <+58>: mov    eax,0x1
 +   0x08048cf3 <+63>: leave  
 +   0x08048cf4 <+64>: ret    
 +End of assembler dump.
 +</code>
 +
 +Bon, on remarque très facilement que c'est une boucle qui vérifie si deux chaines sont les mêmes. A partir de la première différence, on sort de la boucle. Il ne nous reste plus qu'à savoir à quoi correspondent les deux chaines. L'une doit probablement correspondre à notre serial et l'autre au serial à trouver. Elles ont certainement été calculées par la fonction ''WhatisIt'' que nous avons choisi de ne pas regarder. 
 +
 +Pour arriver à trouver quelle chaine correspond à quoi, il suffit de lancer le programme deux fois, avec deux serials différent et de regarder laquelle des deux valeurs a changé !
 +
 +<code>
 +gdb$ b *0x08048cd9
 +Breakpoint 1 at 0x8048cd9
 +gdb$ r 1337
 +Breakpoint 1, 0x08048cd9 in ccc ()
 +gdb$ i r $eax
 +eax            0x3 0x3
 +gdb$ i r $edx
 +edx            0x1e 0x1e
 +gdb$ r BBBB
 +Breakpoint 1, 0x08048cd9 in ccc ()
 +gdb$ i r $eax
 +eax            0x3 0x3
 +gdb$ i r $edx
 +edx            0x4 0x4
 +</code>
 +
 +''ebp+0x8'' correspond donc au serial que nous avons entré et ''ebp+0xc'' au serial que nous devons entrer.
 +
 +On remarque aussi que la valeur de ''eax'' n'a pas changé dans les deux cas. On sait aussi qu'il faut que l'on trouve un hash de 32 caractères. Très vite, on suppose qu'il est juste question d'une substitution, il ne nous reste qu'à recréer la table. Rien de plus simple!
 +
 +<code>
 +gdb$ b *0x08048cc9
 +Breakpoint 1 at 0x8048cc9
 +gdb$ r 0123456789ABCDEF
 +--------------------------------------------------------------------------[regs]
 +  EAX: 0x00000000  EBX: 0x080E605C  ECX: 0xBFFFF6A4  EDX: 0xBFFFF6F0  o d I t S z A P C 
 +  ESI: 0x08049580  EDI: 0x08049620  EBP: 0xBFFFF6D8  ESP: 0xBFFFF6C8  EIP: 0x08048CC9
 +  CS: 0073  DS: 007B  ES: 007B  FS: 0000  GS: 0033  SS: 007B
 +--------------------------------------------------------------------------[code]
 +=> 0x8048cc9 <ccc+21>: add    eax,edx
 +   0x8048ccb <ccc+23>: movzx  edx,BYTE PTR [eax]
 +   0x8048cce <ccc+26>: mov    eax,DWORD PTR [ebp-0x4]
 +   0x8048cd1 <ccc+29>: mov    ecx,DWORD PTR [ebp+0xc]
 +   0x8048cd4 <ccc+32>: add    eax,ecx
 +   0x8048cd6 <ccc+34>: movzx  eax,BYTE PTR [eax]
 +   0x8048cd9 <ccc+37>: cmp    dl,al
 +   0x8048cdb <ccc+39>: je     0x8048ce4 <ccc+48>
 +--------------------------------------------------------------------------------
 +
 +Breakpoint 1, 0x08048cc9 in ccc ()
 +gdb$ x/s $edx
 +0xbffff6f0: "\035\036\037 !\"#$%&\003\004\005\006\a\b\025\n\a\016\016m\016\b"
 +gdb$ si 4
 +--------------------------------------------------------------------------[regs]
 +  EAX: 0x00000000  EBX: 0x080E605C  ECX: 0xBFFFF710  EDX: 0x0000001D  o d I t S z a P c 
 +  ESI: 0x08049580  EDI: 0x08049620  EBP: 0xBFFFF6D8  ESP: 0xBFFFF6C8  EIP: 0x08048CD4
 +  CS: 0073  DS: 007B  ES: 007B  FS: 0000  GS: 0033  SS: 007B
 +--------------------------------------------------------------------------[code]
 +=> 0x8048cd4 <ccc+32>: add    eax,ecx
 +   0x8048cd6 <ccc+34>: movzx  eax,BYTE PTR [eax]
 +   0x8048cd9 <ccc+37>: cmp    dl,al
 +   0x8048cdb <ccc+39>: je     0x8048ce4 <ccc+48>
 +   0x8048cdd <ccc+41>: mov    eax,0x0
 +   0x8048ce2 <ccc+46>: jmp    0x8048cf3 <ccc+63>
 +   0x8048ce4 <ccc+48>: add    DWORD PTR [ebp-0x4],0x1
 +   0x8048ce8 <ccc+52>: cmp    DWORD PTR [ebp-0x4],0x1f
 +--------------------------------------------------------------------------------
 +0x08048cd4 in ccc ()
 +gdb$ x/s $ecx
 +0xbffff710: "\003#\037#\005\003\b\a\037\004\005 !\a\037\005!\005\004\035\"\036\037&%\037\036!$\006$%\200\225\004\b"
 +</code>
 +
 +// Note: il faut prendre uniquement les 16 premiers chars de la chaine ;-)//
 +
 +On récupère aussi au passage le vrai hash stocké dans ''ecx''. (uniquement les 32 premiers chars sont à prendre en compte)
 +
 +^ CHAR ^ code (décimal) ^
 +| 0 | 29 |
 +| 1 | 30 |
 +| 2 | 31 |
 +| 3 | 32 |
 +| 4 | 33 |
 +| 5 | 34 |
 +| 6 | 35 |
 +| 7 | 36 |
 +| 8 | 37 |
 +| 9 | 38 |
 +| A | 3 |
 +| B | 4 |
 +| C | 5 |
 +| D | 6 |
 +| E | 7 |
 +| F | 8 |
 +
 +On code un petit truc en python, et le tour est joué !
 +
 +<code python>
 +#!/usr/bin/env python
 +# encoding: utf-8
 +
 +def main():
 +    
 +    table = {"29":"0",
 +            "30":"1",
 +            "31":"2",
 +            "32":"3",
 +            "33":"4",
 +            "34":"5",
 +            "35":"6",
 +            "36":"7",
 +            "37":"8",
 +            "38":"9",
 +            "3":"A",
 +            "4":"B",
 +            "5":"C",
 +            "6":"D",
 +            "7":"E",
 +            "8":"F"};
 +    
 +    serial = "\003#\037#\005\003\b\a\037\004\005 !\a\037\005!\005\004\035\"\036\037&%\037\036!$\006$%"
 +    decrypt = ""
 +    for char in serial:
 +        decrypt += table[str(ord(char))]
 +        
 +    print decrypt
 +
 +if __name__ == '__main__':
 + main()
 +</code>
 +
 +<code>
 +$ ./crackme $(./bukkake.py)
 +The hash is A626CAFE2BC34E2C4CB0512982147D78
 +</code>
 +
 +On valide avec **A626CAFE2BC34E2C4CB0512982147D78** :-)
ndh2k12_public/crackme/bukakke.1341225394.txt.gz · Dernière modification: 2017/04/09 15:33 (modification externe)