Как использовать шину для Linux Ubuntu для программ на C?

Question

Я знаю, что шина предназначена для исправления предупреждающих сообщений. Я установил его на свой ubuntu, используя 'sudo apt-get install splint'. Как использовать его в программе или программах на C?

Rgds,

Answer 1

#include <stdio.h> 

int main(int argc, char *argv[]) 
{ 
    int a = 100; 
    int b[8]; 

    printf("Hello c\n"); 
    b[8] = 100; // error 

    return 0; 
} 

$ splint test.c +bounds -paramuse -varuse