Discussion :

[filpo]

Bonjour à tous,
Quelqu'un sait-il comment on fait sur Linux pour tester la validité de l'adresse en RAM d'une variable sans y accéder, même en lecture, et provoquer une erreur de segmentation si elle est invalide.
Ex :

Code :

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

1
2
3
4
static int MaFonc(char *Txt)
{
if (!Txt || *Txt == '\0') return(0);
}

Le *Txt provoque une erreur de segmentation si Txt est une adresse invalide.

Ya-t-il une fonction permettant de tester sans casser ?

[2Eurocents]

Code :

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

1
2
3
4
static int MaFonc(char *Txt)
{
if (!Txt || *Txt == '\0') return(0);
}

Le *Txt provoque une erreur de segmentation si Txt est une adresse invalide.

C'est un peu normal, puisque *Txt accède au contenu de la mémoire à l'adresse pointée ...

Tu peux éventuellement tester si ton pointeur est différent de NULL, ce qui permet d'éviter certains problèmes en cas d'allocations ratées.

Par contre, tu ne peux pas faire grand chose de plus ...

Et si tes libérations de mémoire ne mettent pas SYSTEMATIQUEMENT tes pointeurs à NULL (et explicitement dans le code, en plus, car free ne le fait pas), ce n'est alors pas d'un grand secours.


Après, il reste la possibilité d'utiliser les bibliothèques de deboggage qui controlent l'allocation et l'accès mémoire, comme "Electric Fence".

Bon courage.

[filpo]

Une petite précision :
Mon exemple était faux car il ne s'agit pas d'une fonction statique, mais d'une fonction en librairie que je voudrais protéger contre un appel externe avec en argument une adresse invalide !

Le vrai exemple :

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
/* mwmwmwmwmwmwmwmwmwmwmwmwwmwmwmwmwmwmw */
long MonInit(int NumVers, char *NomFicIni)
{
ST_SESSION  *pSess;
 
if (NumVers != MA_VERSION) return(MAERR_VERSION);
 
if (!(pSess = malloc(sizeof(ST_SESSION)))) return(MAERR_INIT);
memset(pSess, 0, sizeof(ST_SESSION));
pSess->Id_l = (long)pSess;
 
if (!NomFicIni || !*NomFicIni)
    strcpy(pSess->FicIni_tc, FIC_INI_DEFAUT);
else
    strcpy(pSess->FicIni_tc, NomFicIni);
 
/* ........ etc ...... */

Le '*NomFicIni' plante si l'appelant fourni une adresse à la onc.

Aucun moyen d'éviter l'explosion ?