Discussion :

[JeanNoel53]

bonjour

Je suis arrêté par un plantage violent dans WordNet
C'est du code de C Standard dans lequel j'ai retiré les #pragma deprecated
je vous met le code, l'erreur, et mes observations.
le Code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
IndexPtr getindex(char *searchstr, int dbase)
{
    int i;
	int j;
	int k;
	int len;
    char c;
    char strings[MAX_FORMS][WORDBUF]; /* vector of search strings */
    static IndexPtr offsets[MAX_FORMS];
    static int offset;
 
    /* This works like strrok(): if passed with a non-null string,
       prepare vector of search strings and offsets.  If string
       is null, look at current list of offsets and return next
       one, or NULL if no more alternatives for this word. */
 
    if (searchstr != NULL)
	{
		offset = 0;
		searchstr = strtolower( searchstr);
		for( i = 0; i < MAX_FORMS; i++)
		{
			len = strlen( searchstr);
			len++;
			strcpy_s(strings[i], len, searchstr);
			offsets[i] = 0;
		}
		strsubst(strings[1], '_', '-');
		strsubst(strings[2], '-', '_');
		/* remove all spaces and hyphens from last search string, then
		all periods */
		for( i = j = k = 0; (c = searchstr[i]) != '\0'; i++)
		{
			if (c != '_' && c != '-')
				strings[3][j++] = c;
			if (c != '.')
				strings[4][k++] = c;
		}
		strings[3][j] = '\0';
		strings[4][k] = '\0';
		/* Get offset of first entry.  Then eliminate duplicates
		and get offsets of unique strings. */
		if( strings[0][0] != NULL)
			offsets[0] = index_lookup( strings[0], dbase); // c'est là que ca plante
		for( i = 1; i < MAX_FORMS; i++)
			if( ( strings[i][0]) != NULL && (strcmp(strings[0], strings[i])))
		offsets[i] = index_lookup(strings[i], dbase);
    }
    for( i = offset; i < MAX_FORMS; i++)
	if( offsets[i])
	{
	    offset = i + 1;
	    return(offsets[i]);
	}
 
    return(NULL);
}
 
/* Read synset from data file at byte offset passed and return parsed
   entry in data structure. */
 
SynsetPtr read_synset(int dbase, long boffset, char *word)
{
    FILE *fp;
	int len;
 
	if((fp = datafps[dbase]) == NULL)
	{
		len = 42;
		len += strlen( partnames[dbase]);
		sprintf_s( msgbuf, len, "WordNet library error: %s datafile not open\n", partnames[dbase]);
		display_message( msgbuf);
		return(NULL);
	} 
	fseek(fp, boffset, 0);	/* position file to byte offset requested */
	return(parse_synset(fp, dbase, word)); /* parse synset and return */
}

le message d'erreur :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
La bibliothèque Microsoft Visual Studio C Runtime a détecté une erreur irrécupérable dans SpecificationLoader.exe.
 
Appuyez sur Arrêter pour déboguer le programme ou sur Continuer pour mettre fin au programme.

mes commentaires : Le code crash sur la ligne ( marquée par un commentaire) dans l'appel de la fonction exec_loop_up( "the", 1);
celui qui m'aidera sera

[fmanisse]

salut,

Il me semble qu'il y a un probleme avec la variable offset : Il y a un cas de figure ou elle peut être utilisée sans avoir été initialisée : si searchstr vaut null, on exécute quand même la boucle "for( i = offset; i < MAX_FORMS; i++)"

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
 
static int offset; // Cette variable n'est pas initialisée dans tout les cas, bien qu'utilisée dans tout les cas
...
 
   // Du coup je comprend pas trop l'intérêt de ce code, et à mon avis, ca ne risque pas de marcher dans certains cas. 
    for( i = offset; i < MAX_FORMS; i++)
	if( offsets[i])
	{
	    offset = i + 1;
	    return(offsets[i]);
	}

Surtout que si offset est aléatoirement assignée à une valeur pertinante, tu risque de retourner un offsets[i] qui lui ne correspond à rien.

Egalement, en quoi le tableau offsets a besoin d'être static ?

Egalement, si je comprend bien le code, tu cherche une correspondance de ta searchstr et de variantes qui sont searchstr moins les caractères spéciaux, mais tu retourne seulement le pointeur vers la la première correspondance trouvée. LEs autres ne servent à rien.
A quoi sert de calculer les variantes si la première fonctionne ?

La logique serait plutot de faire

if (result_offset = index_lookup(searchstr, dbbase))
return result_offset

// else

// construction de strings[1]

if (result_offset = index_lookup(strings[1], dbbase))
return result_offset

// construction de strings[2]

// etc ...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
 
		for( i = j = k = 0; (c = searchstr[i]) != '\0'; i++)
		{
			if (c != '_' && c != '-')
				strings[3][j++] = c;
			if (c != '.')
				strings[4][k++] = c;
		}
		strings[3][j] = '\0';
		strings[4][k] = '\0';

Essaye plutot comme ca pour éviter l'arithmétique de pointeur inutile dans ton corps de boucle. Ca evitera a ton programme de recalculer l'index mémoire de strings[3][j] à chaque itération par exemple...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
 
    char* ptr_j = strings[3];
    char* ptr_k = strings[4];
    char* pi = searchstr;
    for (c = *pi; *pi; c = *(++pi))
    {
       if (c != '_' && c != '-')      
          *ptr_j++ = c;         
       if (c != '.')
          *ptr_k ++ = c;                
    }
    *ptr_j = 0;
    *ptr_k = 0;

Enfin, dans le bloc suivant

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
		searchstr = strtolower( searchstr);
		for( i = 0; i < MAX_FORMS; i++)
		{
			len = strlen( searchstr);
			len++;
			strcpy_s(strings[i], len, searchstr);
			offsets[i] = 0;
		}

Mettre len = strlen(searchstr) dans la boucle n'a aucun intérêt puisque la taille ne varie pas d'une itération sur l'autre.

A quoi sert de récupérer le résultat de strtolower ?

Soit strtolower effectue la transposition sur la chaine paramètre, et donc le résultat retourné est le même, et donc le = ne sert pas.
Soit strtolower effectue une copie puis la transposition. Dans ce cas tu as une fuite mémoire.

Ton bloc devrait plutot être

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
 
	        strtolower( searchstr); // si la transposition est bien sur la chaine paramètre
                len =  strlen( searchstr) + 1;
 
                IndexPtr* p_offsets = offsets;
               char** p_strings = strings;
 
		for( i = 0; i < MAX_FORMS; i++, p_strings++, p_offsets)
		{
			strcpy_s(p_strings, len, searchstr);
			(*p_offsets) = 0;
		}

D'une manière générale évite l'utilisation de l'opérateur [] dans les boucle quand un itérateur ou un pointeur d'indexage fait le travail.

Enfin, si les chaines de ton tableau de string ont, pour chaque index, un rôle défini, par exemple strings[1] est searchstr avec les underscore remplacé par des minus, il vaut mieux :
- soit utiliser une variable nommée qui permet de comprendre le rôle de strings[1], mais pas de tableau.
- soit garder le tableau mais faire un #define INDEX_SEARCHSTR_NO_UNDERSCORE 1 pour comprendre par l'indexage le rôle de celle-ci.


Je ne sais pas d'ou viens ton crash, mais réorganiser ton code et en tout cas clarifier l'utilisation de tes variables static devrait déjà permettre d'y voir plus clair. Ah mon humble avis, re essaye ton code en enlevant static de offset et offsets, et en
effectuant plutot un

if (searchstr == NULL)
return NULL;

d'entrée. plutot qu'un gros if qui occupe 90% de ta fonction...

[Médinoc]

En gros, le problème, c'est que la fonction (basée sur le principe de strtok(), "appeler une fois avec non-nul, puis avec NULL") entre en comportement indéfini si elle est appelée avec NULL avant un appel non-nul, et potentiellement dans d'autres circonstances liées (manque de vérifications).

C'est le genre de truc qu'il faudrait réimplémenter en C++ avec une vraie classe.

[JeanNoel53]

moi j'ai travaillé depuis sur la classe pour traiter tous les #pragma deprecited
puis j'ai repris le code de index_lookup pour le traiter une deuxième fois en normalisation; et le code s'est mis à marcher