Buffer is accessed out of bounds. Avec strcat

Version imprimable

Bonjour,

j'ai un message d'erreur en passant mon code sous cppcheck

Sur les lignes contenant "strcat"

message d'erreur : buffer is accessed out of bounds.

Est-ce que vous avez une idée ?

Merci par avance pour votre aide.

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
 
static void InitBase(base *Base, gint WK, gint BK, gint WM, gint BM) {
 
   gint GN, GC, G;
   eindex S, T;
   gchar String[1+1];
 
   Swap(&WK,&BK,&WM,&BM);
 
   strcpy(Base->Name,"");
   if (WK > 0) {
      if (WK > 1) {
         sprintf(String,"%d",WK);
         strcat(Base->Name,String);
      }
      strcat(Base->Name,"k");
   }
   if (WM > 0) {
      if (WM > 1) {
         sprintf(String,"%d",WM);
         strcat(Base->Name,String);
      }
      strcat(Base->Name,"p");
   }
   if (BK > 0) {
      if (BK > 1) {
         sprintf(String,"%d",BK);
         strcat(Base->Name,String);
      }
      strcat(Base->Name,"k");
   }
   if (BM > 0) {
      if (BM > 1) {
         sprintf(String,"%d",BM);
         strcat(Base->Name,String);
      }
      strcat(Base->Name,"p");
   }

17/05/2013, 13h26
alyma

Bonjour,

Le message d'erreur t'indique une erreur de segmentation, tu écris en déhors de l'espace alloué.
En l'occurrence il s'agit de la variable Base->Name.
Il faut que tu augmentes sa taille.
17/05/2013, 14h17
dybmans

j'ai pensé à cela mais en augmentant la taille j'ai le même message d'erreur.

Sachant que l'application tourne sans problème c'était juste pour ne pas laisser un truque trainer et péter un jour ou l'autre.

Erreur dans l'outil cppcheck peut être un faux positif ?
17/05/2013, 14h25
saad.hessane

Je pensais plutôt à un avertissement sur l'utilisation de strcat. Mais dans ce cas l'avertissement serait émis pour strcpy et sprintf aussi. C'est un peu le but d'une analyse statique de code.
Peut être qu'en utilisant les fonctions strncat, strncpy et snprintf cela passera mieux ?
17/05/2013, 14h37
ram-0000

On peut voir la structure base et plus précisement la déclaration du champs Name" de base ?
17/05/2013, 14h38
dybmans

Bonjour,

et merci, j'avais complétement oublié cette posibilités.

En effet cela solutionne le problème.

Bien vu :ccool:

Bon Week-End à tous ;)