STRING könnte undefiniert sein.

[himitsu]

Jupp, das was angemeckert wird, ist meistens falsch.
Zusätzlich wird "Vieles" nicht angemeckert, obwohl es potentiell falsch sein kann/ist.
Und selten wird was angemeckert, obwohl es richtig ist.

Lokale Variablen sind nicht initialisiert, abgesehn gemanagte Typen.
Globales und Klassenfelder sind immer initialisiert.
Thread-Lokales ist initialisiert, wird aber nicht finalisiert.
Und was in Pointern liegt, da ist der Entwickler dran Schuld.