Problème d'accès mémoire

Voilà j'suis sur mon projet davis-putnam (problème SAT) depuis pas mal de temps maintenant et devant le rendre demain j'en suis à la phase terminale. Seulement, apparemment mon programme renvoie un modèle pour un jeu de données (se trouvant dans un fichier) assez petit et lorsque je mets un fichier avec un jeu de données plus grand j'ai des problèmes de ce style:

Program received signal EXC_BAD_ACCESS, Could not access memory.
Reason: KERN_INVALID_ADDRESS at address: 0x01bfffff
0x0000210b in existe ()

Pourtant ma fonction existe a l'air de bien fonctionner je ne vois pas d'où celà pourrait parvenir.

Voici mon code et les deux fichiers permettant de tester le prog en fichier joint (dubois20.cnf est le fichier avec les gros jeux de données)

Code:

---

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 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597

#include <stdlib.h> #include <stdio.h> #include <ctype.h> #include <string.h> #include <unistd.h>   #define FALSE 0 #define TRUE 1 #define MAX 100 char *VAL; char *FAIL="wxyz"; int conj_L; //nombre de litteraux int conj_C; //nombre de clauses     // Fonction qui met le litteral à VRAI == BON ==   char *yes(char *Lit) {   char *newLit;   int taille;   int i=0;   int j=0;   taille = strlen(Lit);       if(Lit[0] == '-')   {   newLit = malloc((taille-1) * sizeof(*newLit));   i=1;   while(isdigit(Lit[i]))   {   newLit[j]=Lit[i];   j++;   i++;   }   }   else newLit = "ab";   return newLit;   }   char *not(char *Lit)   {   char *newLit;   int taille;   int i=0;   int j=0;   taille = strlen(Lit);       if(Lit[0] != '-')   {   newLit = malloc((taille+1) * sizeof(*newLit));   newLit[0]='-';   i=1;   while(isdigit(Lit[j]))   {   newLit[i]=Lit[j];   j++;   i++;   }   } else newLit = "ab"; return newLit;   }   //Renvoi 1 si le literal est vrai , 0 sinon int VRAI(char *Lit)   {   if(isdigit(Lit[0])) return 1;   else return 0;   }   //Renvoi 1 si le literal est faux , 0 sinon int FAUX(char *Lit)   {   if(Lit[0]=='-') return 1;   else return 0;   }   void afficher(char **conj)   {   int i, j;   printf("\n");   for(j=0;j<conj_C;j++)   {   printf("(");   printf("%s", conj[j]);   if(j==conj_C-1) printf(")");   else printf(")^");   }   printf("\n");   }   //Renvoi vrai si le literal Lit se trouve dans la clause - BON - int existe(char *clause,char *Lit)   {   int j=0;int ok=0;   int k=0;   int tailleLit;       tailleLit=strlen(Lit);   while(clause[j]!='\0')   {   if((clause[j]==Lit[k])&&((clause[j-1]==' ')||(clause[j-1]==Lit[k-1]) ))   {   ok++;   j++;   k++;   if((ok==tailleLit)&&((clause[j]==' ')||(clause[j]=='\0'))) return 1;   }   else   {   j++;   ok=0;   k=0;   }   }   return 0;   }   //Copie La formule actuel - BON - char **creer(int C,int L, char **conj)   {   int i, j;   char **new;   new=malloc(sizeof(*new) * C);   for(i=0; i<C; i++)   new[i] = malloc(sizeof(**new) * L);       for(i=0; i<C; i++)   for(j=0; j<L; j++)   new[i][j]=conj[i][j]; return new;   }   //Remplace un literal dans la copie de la formule actuel -BON-   char **Remplace(int Valeur, char *Lit, char **conj)   {   char **tmp=creer(conj_C, conj_L, conj);   int L, C;   int i;   int k,ok;   k=0;ok=0;i=1;   int tailleLit,taillenoLit;   char *noLit;   noLit = malloc((tailleLit+1) * sizeof(*noLit));   noLit = not(Lit);       for(C=0;C<conj_C;C++)   {   if(((existe(tmp[C],Lit) && Valeur==TRUE)) ||((existe(tmp[C],not(Lit)) && Valeur==FALSE)))   {   for(L=0;L<conj_L;L++)   tmp[C][L]='_';   }   else if((existe(tmp[C], Lit) && Valeur==FALSE))   {   L=0;   ok=0;   k=0;   tailleLit=strlen(Lit);   while(tmp[C][L]!='\0')   {   if((tmp[C][L]==Lit[k])&&((tmp[C][L-1]==' ')||(tmp[C][L-1]==Lit[k-1])))   {   ok++;   L++;   k++;   if((ok==tailleLit)&&((tmp[C][L]==' ')||(tmp[C][L]=='\0')))   {   while(tailleLit!=0)   {   tmp[C][L-i]=' ';   tailleLit--;   i++;   }   i=1;   }   }   else   {   L++;   ok=0;   k=0;   }   }   }   else if((existe(tmp[C], not(Lit)) && Valeur==TRUE)) { L=0;   ok=0;   k=0;   taillenoLit=strlen(noLit);   while(tmp[C][L]!='\0')   { if((tmp[C][L]==noLit[k])&&((tmp[C][L-1]==' ')||(tmp[C][L-1]==noLit[k-1]))) { ok++; L++; k++; if((ok==taillenoLit)&&((tmp[C][L]==' ')||(tmp[C][L]=='\0'))) { while(taillenoLit!=0) { tmp[C][L-i]=' '; taillenoLit--; i++; } i=1; } } else { L++; ok=0; k=0; } } } } return tmp; }   int nb_Lit(char *clause) { int j,nb_elements; nb_elements=0; j=0;   if(clause[0]=='_') return 2; while((clause[j]!='\0')) { if(clause[j]!=' ') { nb_elements++; j++; while(isdigit(clause[j])) j++; } else j++; } return nb_elements; }   char **reduce(char **conj, char *Modele) { char Lit[10]; int i, j, k; for(k=0;k<conj_C;k++) { if(nb_Lit(conj[k])==1) { i=0; j=0; while(conj[k][i]==' ') i++; while(conj[k][i]!=' ') { Lit[j]=conj[k][i]; i++; j++; } if(VRAI(Lit)) { conj=Remplace(TRUE, Lit, conj); strcat(Modele, Lit); } else if(FAUX(Lit)) { conj=Remplace(FALSE, yes(Lit), conj); strcat(Modele, Lit); } } } return conj; }   //Cette fonction renvoi un literal a ajouter au modele, cf davisPutnam char *ajouter(char *Lit, int Value, char *VREDUCE, char *VAL) { char *new=calloc(100, sizeof(char)); if(VAL != FAIL) { sprintf(new,"%s%s %s", VAL, VREDUCE, (Value==TRUE) ? Lit: not(Lit)); return new; } else return FAIL; }   //Renvoi vrai si la clause est vide , faux sinon int Vide(char **conj) { int i, nb; nb=0; for(i=0;i<conj_C;i++) if(conj[i][0]=='_') nb++; return(nb==conj_C); }   int empty_C(char **conj) { int i; for(i=0;i<conj_C;i++) if(nb_Lit(conj[i])==0) return 1; return 0; }   //Renvoi Le premiere literal de la formule -BON- char *getFirstLit(char **conj) { int i, j; i=0;j=0; int k; char *first; int taille=0; for(i=0;i<conj_C;i++) { j=0; // Permet de calculer la taille du premier littéral. if(conj[i][0]!='_') { while(conj[i][j]==' ') j++; if(conj[i][j]!=' ') { while(conj[i][j]!=' ') { taille++; j++; } } //Allocation mémoire pour le premier litéral de la formule first = malloc((taille) * sizeof(*first)); j=0;k=0;   while(conj[i][j]==' ') j++; if(conj[i][j]!=' ') { while(conj[i][j]!=' ') { first[k] = conj[i][j]; k++; j++; } } if(FAUX(first)) first=yes(first); char* Buffer = malloc((taille) * sizeof(*Buffer)); if(Buffer != NULL) { strcpy(Buffer, first); } return Buffer; } } }   char *davisPutnam(char **conj, int depth) { char *Modele=calloc(100, sizeof(char)); conj=reduce(conj, Modele); if (depth == 1) afficher(conj); if(Vide(conj)) return Modele; else if(empty_C(conj)) return FAIL; else { char *V=getFirstLit(conj); VAL = davisPutnam(Remplace(TRUE, V, conj), depth+1); if(VAL != FAIL) return ajouter(V, TRUE, Modele, VAL); VAL=davisPutnam(Remplace(FALSE, V, conj), depth+1); if(VAL != FAIL) return ajouter(V, FALSE, Modele, VAL); return FAIL; } } int main(int argc, char **argv) { FILE *f; int i,j; int k ; char s[2000]=""; char s2[2000]=""; char lit[4]=""; char clause[4]=""; char *Modele=calloc(50, sizeof(char)); char **Conjonction;   // Ouverture du fichier f=fopen(argv[1],"r"); if(f == NULL) { printf("Erreur fopen(%s)\n",argv[1]); return -1; } else { while(fgets (s, 2000, f)!=NULL) { if( (s[0]=='p')&&(s[2]=='c')&&(s[3]=='n')&&(s[4]=='f') ) { i=6; j=0; while(s[i] != ' ') { lit[j]=s[i]; i++; j++; } i=i+1; j=0; while( (s[i] != '\n') ) { clause[j]=s[i]; i++; j++; } conj_L = atoi(lit); conj_C = atoi(clause); } } fclose(f);   // Allocation pour la création des conjonctions. Conjonction = malloc(sizeof(*Conjonction) * conj_C); for(i=0; i< conj_C; i++) Conjonction[i] = malloc(sizeof(**Conjonction) * conj_L); // Fin de l'allocation   // Réouverture du fichier afin de construire chaque conjonction f=fopen(argv[1],"r"); k=0; while(fgets (s2, 2000, f)!=NULL) { if(((s2[0]!='p')&&(s2[0]!='c'))) { i=0; j=i+1; while( (s2[i]!=' ')||(s2[i+1]!='0')) { Conjonction[k][i] = s2[i]; i++; } k++; } } }   Modele=davisPutnam(Conjonction, 1);   if(Modele != FAIL) fprintf(stdout, "\nModele : %s\n\n", Modele); else fprintf(stdout, "\nPas de Modele possible.\n\n"); return EXIT_SUCCESS; }

---

Salut bartmanb,

Si ton problème survient dans la focntion existe() (ce qui à l'air de se passer), cela peut provenir du fait que ton pointeur "Lit" soit null. Tente de faire une vérification sur ce pointeur avant de continuer le traitement de la fonction.

@+!

ouais bah apparemment Lit prend des valeurs assez bizarres ... Mais ça me saoule de pas trouver j'en peux plus !!! SVP HELP ME :bug::bug::bug:

La construction de cette fonction et de la fonction not() est étrange :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21

char *yes(char *Lit) { char *newLit; int taille; int i=0; int j=0; taille = strlen(Lit); if(Lit[0] == '-') { newLit = malloc((taille-1) * sizeof(*newLit)); i=1; while(isdigit(Lit[i])) { newLit[j]=Lit[i]; j++; i++; } } else newLit = "ab"; return newLit; }

---

Selon le cas, elle retourne l'adresse d'une chaîne allouée dynamiquement ou l'adresse d'une chaîne littérale. Comment va t-on pouvoir se débrouiller pour faire un free sans planter plus tard ?
Dans le cas de l'allocation dynamique, qui met le zéro terminal de la nouvelle chaîne ?


[Edit] En plus, les variables globales vont simplifier le deboguage !:aie:

Je vois pas trop ce que tu veux dire, la fonction yes comme not renvoit un tableau de caractères. Par contre il est vrai que j'ai réalisé aucun free... lool mais j'suis en mode saturation là !!!

Pour l'instant, tu ne fais aucun free (ce qui n'est pas très sérieux) mais tu ne pourras pas non plus les faire plus tard : la fonction qui reçoit les chaînes en question ne peut pas savoir si elles ont été obtenues par allocation dynamique ou non.
Pour le moment, la question est OU est le zéro qui termine normalement les chaînes ?

bah en fait dans le fichier txt, y'a des 0 à chaque ligne si tu remarques ...
et en fait une ligne qui se finit par un espace et un 0 signifie qu'une conjonction a été définie précédemment.

donc en fait chaque conjonction[i] contient une suite de chaine de caractères (le 0 n'est pas compris dans ces conjonctions).

Citation:

---

Envoyé par bartmanb

bah en fait dans le fichier txt, y'a des 0 à chaque ligne si tu remarques ...
et en fait une ligne qui se finit par un espace et un 0 signifie qu'une conjonction a été définie précédemment.

donc en fait chaque conjonction[i] contient une suite de chaine de caractères (le 0 n'est pas compris dans ces conjonctions).

---

Ca n'a rien à voir

En C, une chaîne de caractères se termine par la valeur 0 (pas par le caractère '0' mais par 0 ou ce qui est équivalent par '\0') Si tu ne suit pas cette méthode, tu ne peux pas utiliser les fonctions str.... comme strlen ou strcpy. C'est grace à la présence de cette valeur, qu'on connaît la fin de la chaîne.

"ab" comporte en fait 3 char : 'a', 'b' ET '\0'

Code:

---

1 2 3 4 5 6 7 8 9 10

newLit = malloc(taille * sizeof(*newLit)); i=1; while(isdigit(Lit[i])) { newLit[j]=Lit[i]; j++; i++; } newLit[j]=0; ....

---

Les retours de malloc ne sont pas non plus testés.

Citation:

---

newLit = malloc(taille * sizeof(*newLit));
i=1;
while(isdigit(Lit[i]))
{
newLit[j]=Lit[i];
j++;
i++;
}
newLit[j]=0;

---

Bah en fait si j'avais mis taille -1 c'est pour une raison simple, si tu veux la fonction yes va renvoyer le positif du chiffre négatif donc par 51 (:yaisse2:) si le nombre est -51 comme je gère celà en chaine de caractère 51 a un caractère de moins que -51 d'où le taille-1 :yaisse2:

Vu que ce nombre est lu dans le fichier je ne vois pas pourquoi il faut mettre le caractère de fin de chaîne, je n'en ai nul besoin à ce stade ...

Ces fonctions vont juste me servir pour remplacer la valeur dans les différentes conjonctions

Citation:

---

Envoyé par bartmanb

Vu que ce nombre est lu dans le fichier je ne vois pas pourquoi il faut mettre le caractère de fin de chaîne, je n'en ai nul besoin à ce stade ...

Ces fonctions vont juste me servir pour remplacer la valeur dans les différentes conjonctions

---

Tu es têtu ! As tu testé ta fonction pour voir ce quelle te donne ? Mets un petit printf et tu auras des surprises.

Code:

---

1 2 3 4

char * p = yes( "123azerty"); printf("%s\n",p); p = yes( "-123azerty"); printf("%s",p);

---

donne (chez moi, mais ca peut varier après les 3 premiers caractères)

Citation:

---

ab
1232àVX2

---

Citation:

---

char * p = yes( "123azerty");
printf("%s\n",p);
p = yes( "-123azerty");
printf("%s",p);

---

Bah chez moi ça me donne:
ab
123

Donc j'vois pas le soucis ...

Citation:

---

Envoyé par Trap D

Les retours de malloc ne sont pas non plus testés.

---

Comment tester les retours de malloc ???

Citation:

---

Envoyé par bartmanb

Bah chez moi ça me donne:
ab
123

Donc j'vois pas le soucis ...

---

Il n'y a pas de problèmes si deux compilateurs ne donnent pas du tout le même résultat et que ce comportement était prévisible parce que lié à une erreur de codage? Bon, si tu en es satisfait, je ne peux rien pour toi.
Je renonce !

Bonne continuation.

Citation:

---

Envoyé par bartmanb

Comment tester les retours de malloc ???

---

Tu as lu une doc sur le C ?
Le retour de malloc peut être NULL.

Code:

---

1 2 3 4 5 6 7 8

if ((newLit = malloc(taille * sizeof(*newLit)) == NULL) { // action a mener en cas de problème mémoire } else { // action à mener en cas de réussite }

---

Mais apparement, si j'en crois ce que tu as déjà écrit, tu t'en fiches car chez toi ça ne peut pas arriver ...

Citation:

---

ok pour les retour de malloc, je vais tester ça desuite,

---

Ca y'est j'ai testé ça, aucun affichage d'erreur sur les malloc au lancement du programme, donc pas de retour de malloc NULL ...

gdb me dit :

Citation:

---

main(7928) malloc: *** mmap(size=2220781568) failed (error code=12)
*** error: can't allocate region
*** set a breakpoint in malloc_error_break to debug

Program received signal EXC_BAD_ACCESS, Could not access memory.
Reason: KERN_INVALID_ADDRESS at address: 0x856fffff
0x00001f4f in existe ()

---

mais je vois pas où ça cloche dans existe() ... et l'erreur can't allocate region il y'en a en pagaille !!!

Ce que je comprends pas trop c'est que pour un fichier avec un jeu de données de 9 conjonctions et 9 littéraux ça marche impec ... donc doit y'avoir une fuite de mémoire quelque part non ???

UP !! please sauvez-moiii !!!!!:aie: