Fühlt sich der gcc hier veralbert?

[Bauform B. (bauformb)]

Guten Morgen,

ist dieser Fehler so dumm, dass der nicht einmal eine Warnung wert ist? 
Ungefähr 70 -W von -Waggregate-return bis -Wwrite-strings reichen nicht? 
Kann man dagegen etwas tun?

static void
foo (const char *bozo_exe)
{
   char   *args[16], *envs[4];

   printf ("Starting %s...\n", bozo_exe);
   asprintf (&envs[ 0], "HOME=%s",  "/");
   asprintf (&envs[ 1], "PWD=%s",   "/");
   asprintf (&envs[ 2], "LANG=%s",  "C");
   asprintf (&envs[ 3], "USER=%s",  cf.uid);
   asprintf (&envs[ 4], "PATH=%s",  "/sbin:/usr/sbin:/bin:/usr/bin");
   asprintf (&envs[ 5], "SHELL=%s", "/bin/sh");
   envs[ 6] = NULL;

   args[ 0] = strdup (bozo_exe);
   args[ 1] = strdup ("-P");
// ...
   if (execve (args[0], args, envs)) {
// ...
   }
}

$ gcc --version

gcc (Debian 15.3.0-1) 15.3.0

[Niklas G. (erlkoenig)]

Bauform B. schrieb:
> Kann man dagegen etwas tun?

Python verwenden

[Norbert (der_norbert)]

splint -strict nutzen

unbenannt.c:26:15: Possible out-of-bounds read: envs[5]
    Unable to resolve constraint:
    requires maxRead(envs @ unbenannt.c:26:15) >= 5
     needed to satisfy precondition:
    requires maxRead(envs @ unbenannt.c:26:15) >= 5
  A memory read references memory beyond the allocated storage. (Use
  -boundsread to inhibit warning)
unbenannt.c:28:4: Likely out-of-bounds store: envs[6]
    Unable to resolve constraint:
    requires 3 >= 6
     needed to satisfy precondition:
    requires maxSet(envs @ unbenannt.c:28:4) >= 6
  A memory write may write to an address beyond the allocated buffer. (Use
  -likelyboundswrite to inhibit warning)