splint

6熱

4答えて

私は変数を宣言するところでsplintを無視する方法を知っていますか？私は、古い学校cは、すべての機能に始まり、右で変数を宣言することを示していますことを知っているが、私は、私はそれらを使用する場所に近いものを宣言したいと悪い人ですので、。良い例はint iを入れることです。 for（i = 0; ...）の直前。 #include <stdio.h> int main() {

3熱

2答えて

スプリントとテストカバレッジの分析？

私は、コードのテストカバレッジ分析も生成する、splintの成熟度を持つ静的解析ツールを探しています。例えば、libfoo.cの非静的関数はすべてlibfoo.hになければなりません。そのトークンによってlibfoo.hのすべての関数は単体テストを持つべきです。もちろん、このような振る舞いには何らかの細かい制御が必要ですが、これは静的解析ツールのスタートアップコンフィギュレーションファイルで定義

2熱

1答えて

win32整数サフィックスで動作するように副文を取得する

Windowsコンパイラが使用していると思われるサイズ指定サフィックスを使用するシステムヘッダファイルに対して、Splintエラーが発生します。したがって、splintは、0xffui8（ui8は8ビットの符号なし整数を意味します）のような式を含むファイルを解析できません。これを回避するにはどうすればsplintを設定できますか？広いコンテキスト：私はWinDDK 7600.16385.1で動作

2熱

2答えて

splintのサンプルrcファイル

私はコードチェックにsplintを使用していますが、膨大な数の警告がスローされています。それらのいくつかは、私は無視することができると思います。私は試行錯誤して.splintrcを作成しています。私の質問、を使用することができますいくつかのサンプル.splintrcファイルはありますか？私は、マルチタスクエンベデッドシステム用に書かれたCコードにsplintを使用しています。

1熱

2答えて

スプリントツールを使用してソースコードをチェックしているときにヘッダーファイルを含めるにはどうすればよいですか？

私は2つのCプログラムのソースコードファイルと関数宣言だけを含む1つのヘッダーファイルを作成しました。 mypattern.h #include<stdio.h> void pattern_check(char *,int,char *); pattern_main.c #include<mypattern.h> int main(int argc,char *argv[]) { in

4熱

1答えて

splint：forループの解析エラー

私はc99コードの静的解析器としてsplintを使用しています。スプリントはかなりc99に準拠していないようです。したがって、私はこのパッチを適用しています http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080718/52cc25f6/attachment.obj 今、私は解析エラーを取得していないによる宣言を

0熱

1答えて

/usr/include/arpa/inet.h:35:27：Splintの解析エラー

私のコードをsplintで調べているうちに、問題が1つあります。最初はPOSIXLIBでエラーが出ました。このエラーを解決する方法 /usr/include/arpa/inet.h:35:27: Parse Error. (For help on parse errors, see splint -help parseerrors.) *** Cannot continue.

1熱

1答えて

MPLABを使用してwindowmsで静的コード解析にsplintを使用するシステムファイルの解析エラーを回避する方法

Windows（XC32 v1.40コンパイラ）でPIC32を使用するMPLAB X（3.26）を使用しています。私はレビューの一部としてsomeonesコードの静的コード分析を行うためにsplintを使用しようとしています。コンパイラの定義と検索パスの大半はソートされていますが、PIC32 stdインクルードファイルの解析エラーを避けるためにはちょっと困ります。私はスプリントを実行するために使

0熱

1答えて

なぜsplintはcurl/curlbuild.hを解析しませんか？

私はカールライブラリを使用するため、以下のものが含まれfornol.cプログラムを書いた： #include <curl/curl.h> 私は私のプログラムでsplintを実行したいが、これは私が取得エラーです： $ splint fornol.c Splint 3.1.2 --- 03 May 2009 /usr/include/curl/curlbuild.h:165:33: Par

3熱

6答えて

floatとintを比較すると、Splint（Cコードチェッカー）でエラーが発生するのはなぜですか？

どちらも数学的な値ですが、浮動小数点数はより正確です。これがエラーの唯一の理由ですか？精度の違いですか？または、別の潜在的な（そしてさらに深刻な）問題がありますか？