formatage dans un sscanf

Bonjour,

je suis a la recherche d'un bug dans un petit programme C écrit par quelqu'un d'autre il y a plusieurs années (et qui est bien entendu injoignable maintenant).

voici une portion du code contenant un sscanf qui me pose problème :

Code:

---

1 2 3 4 5 6

for(;;) { if (gets(line) == NULL) break ; res = sscanf(line, " with %[^ \t;]", package) ; .......

---

1- me parlez pas du for(;;) et du break, j'en ai déjà les cheveux blancs (y a aussi des continue plus loin :cry:)
2- mon problème se situe sur la signification du %[^ \t;] : est-ce que ça signifie que dans package j'aurai tout ce qui suit " with " et qui n'est pas espace, tab ou ";" ?
3- si je n'ai pas d'espace avant le with dans le fichier lu est ce que j'aurai quand même ce qui suit le with dans la variable package ?

merci d'avance pour vos reponses

Citation:

---

Envoyé par straasha

1- me parlez pas du for(;;) et du break, j'en ai déjà les cheveux blancs (y a aussi des continue plus loin :cry:)

---

:calim2: 8O

Qu'est-ce que te chagrine là-dedans ??

Ce n'est qu'une boucle infinie, pour laquelle vraisemblablement il y a plusieurs conditions d'arrêts, et qu'il est donc plus simple d'écrire ça que d'écrire

Code:

---

1 2 3

while ( (conditoin1) && (conditon2) && ... ) { }

---

Citation:

---

Envoyé par souviron34

Qu'est-ce que te chagrine là-dedans ??

---

c'est juste que c'est pas joli et vu le reste du code un while aurait été plus clair, maintenant j'ai pas dit que ce n’était pas correct (comme on dit : ça compile donc c'est valide :mrgreen: )
mon problème se situe plutôt sur le sscanf.

Bonjour,

Je pense que tu trouveras ta reponse dans ce tres bon tutoriel sur les fonctions de type scanf : http://xrenault.developpez.com/tutoriels/c/scanf/

Desole de ne pas te fournir la reponse exacte, mais je n'ai pas utilise ces fonctions depuis un certain temps, et crains de dire des betises.

Code:

---

res = sscanf(line, " with %[^ \t;]", package) ;

---

Si la chaine contient d'éventuels caractères blancs (d'où l'espace avant le "with"), suivis du mot "with" puis d'éventuels caractères blancs (à cause de la présence d'un espace avant le %), tout ce qui suit sera copié dans le tableau package jusqu'à ce qu'un espace, une tabulation ou un point-virgule soit rencontré.

Par exemple, si line contient " with mach;in" (sans les guillemets), res aura 1 pour valeur et package contiendra "mach\0" (sans les guillemets).

Concernant

Code:

---

for(;;)

---

, il n'y a rien de compliqué, c'est juste une boucle infinie. break provoque la sortie de la boucle et continue fait revenir en début de boucle.

Par contre, je te conseille fortement d'utiliser fgets au lieu de gets, car c'est une fonction dangereuse (il y a une faille de sécurité très grave).

Citation:

---

Envoyé par straasha

c'est juste que c'est pas joli et vu le reste du code un while aurait été plus clair, maintenant j'ai pas dit que ce n’était pas correct (comme on dit : ça compile donc c'est valide :mrgreen: )
mon problème se situe plutôt sur le sscanf.

---

ce n'est pas l'utilisation d'un for (;;) qui est pas jolie...

C'est l'utilisation couplée à l'instruction suivante...

Disons qu'une solution normale et élégante est :

Code:

---

1 2 3

while ( fgets (...) != NULL ) { }

---

Citation:

---

Envoyé par souviron34

Disons qu'une solution normale et élégante est :...

---

tout à fait d'accord mais mon code est en conf clearcase liée a des fiches clearquest et j'evolue dans un milieu où chaque potentielle modif doit être justifiée, discutée, relue, testée, validée et ce par des personnes différentes (normalement) pour chaque étapes alors je doute qu'on m'autorise à modifier du code qui marche juste parce qu'il est pas joli.

Jeroman :
merci pour ta réponse c'est la confirmation que j'attendais, j'aurai quand même besoin d'une précision : pour les espaces avant et après le with est ce que ça marchera pareil si j'ai plusieurs espaces (ou aucun) dans le fichier lu ? et si j'ai une (ou plusieurs) tabulation(s) ?

Citation:

---

tout à fait d'accord mais mon code est en conf clearcase liée a des fiches clearquest et j'evolue dans un milieu où chaque potentielle modif doit être justifiée, discutée, relue, testée, validée et ce par des personnes différentes (normalement) pour chaque étapes alors je doute qu'on m'autorise à modifier du code qui marche juste parce qu'il est pas joli.

---

Le problème dépasse le cadre joli ou pas joli. La fonction gets a une faille de sécurité très grave, car elle permet à l'utilisateur de faire déborder le tampon. Ceci peut, dans le meilleur des cas, faire simplement crasher l'application, voire la faire bugguer (vu qu'on modifie la pile, cela peut modifier d'autres variables locales) et dans le pire des cas faire exécuter du code arbitraire, avec par conséquent tous les problèmes de sécurité que cela comporte. Exploiter une telle faille est difficile et souvent hasardeux, mais cela reste possible.

Citation:

---

Jeroman :
merci pour ta réponse c'est la confirmation que j'attendais, j'aurai quand même besoin d'une précision : pour les espaces avant et après le with est ce que ça marchera pareil si j'ai plusieurs espaces (ou aucun) dans le fichier lu ? et si j'ai une (ou plusieurs) tabulation(s) ?

---

Oui, un espace avant permet de zapper un ou plusieurs caractères blancs (espace, tabulation, etc), s'il y en a.

Par exemple :

Code:

---

1 2	char line[] = " \t with mach\tin"; /* plusieurs caractères blancs avant "with" */ res = sscanf(line, " with %[^ \t;]", package) ;

---

package sera rempli par "mach".
Tu auras le même résultat avec :

Code:

---

char line[] = "with mach\tin"; /* aucun caractère blanc avant "with" */

---

Par contre ceci

Code:

---

1 2	char line[] = " \t with mach\tin"; res = sscanf(line, "with %[^ \t;]", package) ;

---

fera échouer sscanf.

Concernant le débordement de tampon, voici une explication bien sympa : http://fr.wikipedia.org/wiki/D%C3%A9passement_de_tampon :ccool:

Citation:

---

Envoyé par jeroman

gets a une faille de sécurité très grave, car elle permet à l'utilisateur de faire déborder le tampon

---

A tous les coup c'est le bug que je cherche : line a une taille de 256 caractères et je dois avoir une ligne de plus de 256 caractères dans le fichier lu (ce qui serait contraire a mes normes de codage).

je vérifie et je vous tiens au courant...

[Edit]
HOURRA ! c'était ça ! :yaisse2:
pour le coup je peux mettre plus que résolu, non seulement on a répondu a mes question sur le sscanf mais en plus on a trouvé mon bug.
Est-ce que fgets existait déjà en 2001 histoire de savoir si je peux maudire le gars qui a codé ça ? :aie:

grand merci a tous

Citation:

---

Envoyé par straasha

Est-ce que fgets existait déjà en 2001 histoire de savoir si je peux maudire le gars qui a codé ça ? :aie:

---

lol ça existe depuis le début du C (K&R) et dans C89...

:D

Citation:

---

Envoyé par straasha

Est-ce que fgets existait déjà en 2001 histoire de savoir si je peux maudire le gars qui a codé ça ?

---

Citation:

---

Envoyé par souviron34

lol ça existe depuis le début du C (K&R) et dans C89...

---

Non seulement fgets existait deja, mais en plus le probleme de securisation des entrees avec gets etait deja connu depuis longtemps.

Voici ce qu'on peut lire dans le 'Rationale', un document quasi-officiel qui commente la norme :

Citation:

---

7.19.7.7 The gets function

Because gets does not check for buffer overrun, it is generally unsafe to use when its input is not under the programmer’s control. This has caused some to question whether it should appear in the Standard at all. The Committee decided that gets was useful and convenient in those special circumstances when the programmer does have adequate control over the input, and as longstanding existing practice, it needed a standard specification. In general, however, the preferred function is fgets (see §7.19.7.2).

---

Des infos sur la norme : http://emmanuel-delahaye.developpez....ge=Page2#LVIII
Des entrees/sorties solides en C : http://emmanuel-delahaye.developpez....ees-solides-c/