Der C-Compiler ist in vielen Aspekten der Überprüfung der Programmkorrektheit ziemlich vage, insbesondere bei der Typprüfung. Ein sorgfältiger Einsatz von Prototyping von Funktionen kann moderne C-Compiler bei dieser Aufgabe unterstützen. Es gibt jedoch noch keine Garantie dafür, dass Ihr Programm nach erfolgreicher Kompilierung korrekt ausgeführt wird.

Das UNIX-Lint-Tool Secure Programming Lint (SPLINT) kann bei der Suche nach einer Vielzahl von Programmierfehlern helfen. Sehen Sie sich die Online-Manualpages (Man-Schiene) an, um vollständige Details zur Schiene zu erhalten.

Um Splint auszuführen, geben Sie einfach den Befehl ein:

splint myprog.c

Splint eignet sich besonders gut zur Typprüfung von Variablen- und Funktionszuweisungen, Effizienz, unbenutzten Variablen und Funktionsbezeichnern, unerreichbarem Code und möglichen Speicherlecks. Es gibt viele nützliche Optionen zur Kontrolle der Schiene (siehe Schiene für den Mann).

#include <stdio.h>
int main()
{
    char a[] = "hello";
    printf("%d\n", a);
    return 0;
}

Ausgabe :