Scol

This is why you need to test the param value before calling any MMfetch or MMstartstr and any MTOI, MTOP, MTOF ..
Null value exist in the Scol stack and return INET because this is the first registered element in the stack

the correct and secure code should be something like :

/* fun [P] S */
int stringTest (mmachine m)
{
  int p;
  p = MMpull (m);
  if (p == NIL)
  {
    MMpush (m, NIL);
    return 0;
  }

  Mpushstrbloc (m, MMstartstr (m, MTOP(p)));
  return 0;
}

Of course, my example was ... an example : show the result when the value is at NULL. It's not specific at _checkpack.

This "INET" return is a problem, i think. It is unsafe. So i posted. A NIL value should be better. No ?

I think that it will not be possible at this point, since any MMstartstr param int value are good even NIL (-1)

Hum, not MMsizestr, but Mpushstrbloc. The value should be tested and, if NULL, NIL should be pushed.

Explanation in french, sorry.
Tu as une chaîne non null. Tu lui fais passer divers traitements "anodins" (mais rien n'est jamais anodin en programmation, n'est ce pas !). À la sortie, la chaîne devrait encore avoir une valeur non null. Tu l'empiles alors sur le tas (Mpushstrbloc).
Pourtant, dans certains cas non prévus, cette chaîne se retrouve à null. Testes-tu systématiquement ta chaîne juste avant de l'empiler ? Nous devrions, c'est vrai.

L'ennui, c'est que le tas ne contient pas une chaine nulle ! Donc, lors de son utilisation future, quand tu fais :
int s = MMpull (m); if (s == NIL) ...
s ne vaut pas NIL mais a bien une valeur. Et le programme foire car le contenu de s n'est pas celui attendu ...

Si je pouvais compiler le kernel avec des outils libres, je ferais ces modifs moi-même. Comme cela m'est impossible, j'envoie le bug.