Nicht validiert Integer-Wert wird von ‚atoi‘ erhielt

Question

Für den folgenden Code, Klocwork berichtet Nicht validiert Integer-Wert ‚val‘ aus ‚atoi‘ empfangen und kann verwendet werden, Array zuzugreifen

int main(int argc, char **argv) 
{ 
    int i = 0; 
    int val = 0; 
    for (i = 0; i < argc; i++) 
    { 
     if (argv[i]) 
     { 
      val = atoi(argv[i]); 
      ...... 
      ...... 
     } 
    } 
    return 0; 
} 

Ich habe keine Hinweis, um dieses Problem zu lösen. Wenn argv [i] keine Zahl ist, gibt atoi 0 zurück. Was erwartet klocwork hier?

Answer 1

Nun, der erste offensichtliche Rat hier ist: aufhören zu verwenden atoi. atoi ist zum Skizzieren, nicht für echten Code. atoi hat keine Fehlerrückmeldungsmechanismen und erzeugt bei Überlauf undefiniertes Verhalten. Funktionen von ato... Gruppe wurden halb offiziell in C95 halb aufgegeben. Seit diesem Zeitpunkt haben sie sich nur aus Gründen der Rückwärtskompatibilität ausgeklinkt. Ich habe keine Ahnung, warum sie immer noch nicht offiziell veraltet sind.

Sie möchten eine Zeichenfolge in eine ganze Zahl umwandeln - verwenden Sie strtol und denken Sie daran, auf Fehler zu prüfen, indem Sie errono und/oder den Rückgabewert analysieren. Und wie bereits vorgeschlagen, ist es eine gute Idee (und für einen Wert, der von der Außenwelt kommt - es ist ein Muss), wenn Sie den resultierenden Wert als Array-Index verwenden, um sicherzustellen, dass der Index drin ist der richtige Bereich.

Answer 2

Sie werden darauf hingewiesen, dass Sie einen fehlerhaften Wert verwenden, um später in Ihrem Code auf ein Array zuzugreifen. Sehen Sie hier nach, wie Sie es beheben können.

https://developer.klocwork.com/documentation/en/insight/10-1/sv-tainted-call-indexaccess

Jede Eingabe, die Sie vor der Verwendung in irgendeiner Weise Bedürfnisse validiert werden erhalten.

Answer 3

atoi ist definiert als:

int atoi (const char *nPtr)     /*convert the string nPtr to int*/ 

Sie im Auge behalten müssen, dass, wenn der umgewandelte Wert kann nicht in int dargestellt werden. Das Atoi Funktionsverhalten ist undefined (Verwenden Sie es mit Vorsicht).

aktualisiert

Wenn der umgewandelte Wert fällt außerhalb des Bereichs der Rückgabetyp entspricht, ist der Rückgabewert undefiniert. Wenn keine Konvertierung durchgeführt werden kann, wird 0 zurückgegeben.