[C] Une petite devinette

[b0fh]

Considérez le code suivant:

Code :

int positif[1000];
int negatif[1000];

...

int set(int key, int value) {
     int *table;

     if (key < 0) {
         key = -key;
         table = negatif;
     } else {
         table = positif;
     }

     if (key >= 1000)
          return ERROR;

     table[key] = value;
     return OK;

}

Trouvez un moyen de corrompre la mémoire en appelant la fonction set() !

Résolu par: Ark, OverDreams

Solution:
[spoiler]
T'y as cru, hein ? ha ha ha. Je la mettrai un peu plus tard
[/spoiler]

[gr4ph0s]

Il faut réussir à montrer quoi exactement? ^^'

[balis]

XD me too some help no ?
Corrompre du genre segfault ?

[ark]

Corrompre == modifier de la mémoire a un endroit qui n'as pas été initialement prévu a cet effet.

Sympathique ce petit challenge

[oosfalte]

Intéressant,
on doit écraser *table ou je me trompe ?

[b0fh]

Non, ce n'est pas en écrasant table (et encore moins *table

Pour le résoudre, il faut aller assez bas niveau dans le fonctionnement du truc.

[gr4ph0s]

Mais tu veux qu'on parviennent à faire quoi? Car corrompre la mémoire c'est très vague j'ouvre sous ODBG, je supprime des trucs randoms et littéralement j'ai corrompus la mémoire.

Je ne demande pas ce qu'il faut regarder mais si tu veux un BoF ou tout autre truc

[b0fh]

J'ai écrit "corrompre la mémoire en appelant la fonction set()".

On suppose donc qu'en tant qu'attaquant, tu peux déclencher un appel a la fonction set, avec les arguments qui te plaisent, et le but est de trouver des valeurs d'arguments pour lesquels la norme du C ne définit pas de comportement, et qui risque donc de causer une corruption quelconque.

C'est plus clair ?

[OverDreams]

Je te MP pour voir si j'ai bon même si je suis noob :')

[gruik]

alors ? personne a trouvé ?
indice : mini/maxi

[Kiwazaru]

[spoiler]Integer Overflow : 2147483648 -> key = -key : 2147483648 = -2147483648 -> Integer = -2147483647 -> 2147483648 donc débortement :> Merci j0rn[/spoiler]

[OverDreams]

[spoiler]
j'en sais pas beaucoup en C j'ai comme même essayer le challneg, le code avait l'air assez solide, pas de valeur allaient provoquer la corruption, mais comme il vérifie uniquement la limite supérieure, je savais que je devais en quelque sorte faire échouer inversion (key=-key fail)
Donc j'ai essayer de trouver la limite supérieure d'un int positive (oui, j'ai essayé beaucoup de truc et devient donc (0x7FFFFFFF), et google me l'a confirmer que c'était ça Tongue
Ensuite, j'ai essayé avec la valeur immédiate (0x80000000), Mais la clé inverti à échouer et j'ai eu une corruption
Bon veuillez m'excuser si je dis de la merde :')
[/spoiler]

EDIT Khaled : Merci de pas spoiler