Reversim MIPS et Golang - les bases de l'inverse. Résolution des problèmes de marche arrière avec r0ot-mi. 2e partie

Dans cet article, nous traiterons de la décompilation du binaire MIPS dans Ghidra et inverserons le programme écrit en golang dans l'IDA.

Partie 1 - Décompilation C, C ++ et DotNet.

ELF MIPS

Téléchargez et vérifiez le fichier.



Il s'agit d'un fichier exécutable 32 bits pour les processeurs d'architecture MIPS. Pour résoudre ce problème, nous utiliserons Ghidra. Ouvrez l'hydre, créez un nouveau projet et ajoutez-le à notre fichier exécutable.



Ouvrez maintenant le fichier étudié et accédez à la fenêtre de l'arbre des symboles. Dans la recherche, tapez main pour trouver le point d'entrée du programme.



Lorsque vous sélectionnez une fonction, elle s'ouvre immédiatement dans le décompilateur.



Convertissons le code.



Nous voyons que 64 octets sont lus dans la variable local_54, renommons-la en entrée (raccourci clavier L) et en faisons un tableau de 64 caractères (raccourci clavier Ctrl + L). Vous pouvez également renommer la variable sVar1.





Après une certaine conversion, le code a commencé à être un peu plus beau.



Nous analysons le code. La chaîne que nous entrons doit comporter 19 caractères. À quelle position quel caractère doit être clair dans le code. Dans ce cas, du 8 au 17 devrait être le symbole «i». Nous récupérons, passons le mot de passe.

Golang basic

Dans cette mission, nous sommes fournis avec un fichier exécutable écrit en Go. Vous pouvez même savoir quelle version. Je jette l'IDA. Il faut dire tout de suite que la fonction principale n'est pas appelée main, mais appelée main_main. Par conséquent, nous effectuons une recherche par fonction et passons à la vraie principale.



Analysons le code. Commençons par le tout début.



Il existe des définitions d'une entrée clé. Le bloc de gauche est responsable de l'achèvement de la fonction main_main. Considérez le bloc de gauche.



La fonction fmt_Scanln est conçue pour lire une ligne depuis la console. Nous observons également les données main_statictmp_2 déjà enregistrées dans le programme.



Ensuite, la fonction runtime_stringtoslicebyte est appelée, selon le code, nous pouvons supposer qu'elle prend les 6 premiers octets de la ligne suivante.



Key.ptr pointera vers le début de cette tranche. Voyons ce qui vient ensuite.



En fonction de la comparaison du registre annulé r9 et du registre rsi, où se trouve la longueur de l'entrée utilisateur. De cela, nous pouvons conclure que r9 sera très probablement un compteur. Regardons le bloc de droite, où ira le contrôle, après la vente sur la ligne que nous avons entrée.



La fonction bytes_Compare est appelée, qui, selon le résultat de la comparaison, affiche l'une des lignes.





Nous avons compris la sortie du programme, maintenant regardons les sauts de ligne (sur la branche de gauche).



Le caractère de l'entrée utilisateur est entré dans le registre r10, puis il y a un tas de code complexe pour les comparaisons afin de contrôler les exceptions comme la division de panique et l'index de panique. J'ai mis en évidence la branche d'exécution du programme.



Ainsi, un octet d'une chaîne spécifiée statiquement est placé dans EDX et se dispute avec r10, où est l'octet de la tranche. Ensuite, le compteur r9 augmente. Deux blocs adjacents au milieu sont probablement nécessaires pour contrôler la longueur de la coupe.

Combinons tout ensemble: la ligne entrée est contaminée par une tranche et comparée à une ligne spécifiée statiquement. Prenons un proxy pour trouver le mot de passe correct.



Nous obtenons la réponse. La complexité de l'inverse des binaires Go est qu'il y a des facteurs de complication comme l'absence de caractère nul à la fin des lignes, la présentation de leurs types, le garbage collector, etc.

C'est tout pour l'instant. À suivre ... Vous pouvez nous rejoindre sur Telegram . Là, vous pouvez proposer vos propres sujets et voter sur le choix des sujets pour les articles suivants.