c - Linux UbuntuでCプログラム用にスプリントを使用するには?

Question

splint が C プログラムの問題に関する警告メッセージを発行することを知っています。

「sudo apt-get install splint」を使用してUbuntuにインストールしました。

Cプログラムまたはプログラムでそれを使用するにはどうすればよいですか?

Answer 1

というファイルに次の C プログラムを作成すると、ソースで静的解析を実行して潜在的な問題を見つけることができますtest.c。splint

ファイル test.c に入れるソース コード:

#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問題をチェックするために C ソース ファイルに対して実行するために使用されるコマンド ライン。

$ splint test.c +bounds -paramuse -varuse