lunes, 5 de junio de 2023

inBINcible Writeup - Golang Binary Reversing

This file is an 32bits elf binary, compiled from go language (i guess ... coded by @nibble_ds ;)
The binary has some debugging symbols, which is very helpful to locate the functions and api calls.

GO source functions:
-  main.main
-  main.function.001

If the binary is executed with no params, it prints "Nope!", the bad guy message.

~/ncn$ ./inbincible 
Nope!

Decompiling the main.main function I saw two things:

1. The Argument validation: Only one 16 bytes long argument is needed, otherwise the execution is finished.

2. The key IF, the decision to dexor and print byte by byte the "Nope!" string OR dexor and print "Yeah!"


The incoming channel will determine the final message.


Dexor and print each byte of the "Nope!" message.


This IF, checks 16 times if the go channel reception value is 0x01, in this case the app show the "Yeah!" message.

Go channels are a kind of thread-safe queue, a channel_send is like a push, and channel_receive is like a pop.

If we fake this IF the 16 times, we got the "Yeah!" message:

(gdb) b *0x8049118
(gdb) commands
>set {char *}0xf7edeef3 = 0x01
>c
>end

(gdb) r 1234567890123456
tarting program: /home/sha0/ncn/inbincible 1234567890123456
...
Yeah!


Ok, but the problem is not in main.main, is main.function.001 who must sent the 0x01 via channel.
This function xors byte by byte the input "1234567890123456" with a byte array xor key, and is compared with another byte array.

=> 0x8049456:       xor    %ebp,%ecx
This xor,  encode the argument with a key byte by byte

The xor key can be dumped from memory but I prefer to use this macro:

(gdb) b *0x8049456
(gdb) commands
>i r  ecx
>c
>end
(gdb) c

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x12 18

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x45 69

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x33 51

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x87 135

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x65 101

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x12 18

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x45 69

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x33 51

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x87 135

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x65 101

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x12 18

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x45 69

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x33 51

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x87 135

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x65 101

Breakpoint 2, 0x08049456 in main.func ()
ecx            0x12 18

The result of the xor will compared with another array byte,  each byte matched, a 0x01 will be sent.

The cmp of the xored argument byte,
will determine if the channel send 0 or 1


(gdb) b *0x0804946a
(gdb) commands
>i r al
>c
>end

At this point we have the byte array used to xor the argument, and the byte array to be compared with, if we provide an input that xored with the first byte array gets the second byte array, the code will send 0x01 by the channel the 16 times.


Now web have:

xorKey=[0x12,0x45,0x33,0x87,0x65,0x12,0x45,0x33,0x87,0x65,0x12,0x45,0x33,0x87,0x65,0x12]

mustGive=[0x55,0x75,0x44,0xb6,0x0b,0x33,0x06,0x03,0xe9,0x02,0x60,0x71,0x47,0xb2,0x44,0x33]


Xor is reversible, then we can get the input needed to dexor to the expected values in order to send 0x1 bytes through the go channel.

>>> x=''
>>> for i in range(len(xorKey)):
...     x+= chr(xorKey[i] ^ mustGive[i])
... 
>>> print x

G0w1n!C0ngr4t5!!


And that's the key :) let's try it:

~/ncn$ ./inbincible 'G0w1n!C0ngr4t5!!'
Yeah!

Got it!! thanx @nibble_ds for this funny crackme, programmed in the great go language. I'm also a golang lover.


Continue reading


  1. Pentest Tools Port Scanner
  2. Hacking Tools For Games
  3. What Is Hacking Tools
  4. Nsa Hack Tools Download
  5. Hacking Tools For Windows Free Download
  6. Underground Hacker Sites
  7. Ethical Hacker Tools
  8. Hacking Tools Mac
  9. Hack Tools For Ubuntu
  10. What Are Hacking Tools
  11. Hacking Tools For Mac
  12. Hacking Tools 2020
  13. Pentest Tools
  14. Hack Tools
  15. Hacker Tools Free
  16. What Are Hacking Tools
  17. Hack Tools For Ubuntu
  18. Pentest Tools Download
  19. Hackrf Tools
  20. Hacking Tools Hardware
  21. Hacking Tools Software
  22. Hack Tools For Ubuntu
  23. Install Pentest Tools Ubuntu
  24. Hack App
  25. Hacker Tool Kit
  26. Pentest Tools Github
  27. Best Hacking Tools 2020
  28. Hacking Tools For Pc
  29. Wifi Hacker Tools For Windows
  30. Pentest Tools Framework
  31. Pentest Tools For Mac
  32. Hacking Tools Kit
  33. Hacker Tools For Mac
  34. Kik Hack Tools
  35. Pentest Box Tools Download
  36. Bluetooth Hacking Tools Kali
  37. Hacker Tools Software
  38. Hacker Tools Apk
  39. Hacker Tools Free Download
  40. Tools 4 Hack
  41. Hacker Security Tools
  42. Easy Hack Tools
  43. Pentest Tools Alternative
  44. Android Hack Tools Github
  45. Hack Tool Apk No Root
  46. Pentest Tools Windows
  47. Hacking Tools Hardware
  48. Github Hacking Tools
  49. Hak5 Tools
  50. Hacker Tools For Windows
  51. Hacking Tools 2019
  52. Best Pentesting Tools 2018
  53. Hack Tools For Pc
  54. Hacks And Tools
  55. Tools 4 Hack
  56. Hacking Tools Name
  57. Pentest Tools Android
  58. Bluetooth Hacking Tools Kali
  59. Hacking Tools For Beginners
  60. Hacker Tool Kit
  61. Hack And Tools
  62. Hacker Tools Apk Download
  63. Hacker Tools Linux
  64. Hack Rom Tools
  65. Hacker Tools For Pc
  66. Pentest Tools Port Scanner
  67. Physical Pentest Tools
  68. Hacker Tools List

No hay comentarios:

Publicar un comentario