Flag Nameを見ると概要がわかると思います。 boolops branchstate charindex compdef compdestroy compmempass dependenttrans fcnuse kepttrans mustfreeonly nestcomment nullassign nullstate onlytrans predboolint predboolothers retvalother shiftomp…

splint +csv aaa.csv src.c を行うと、ファイルを閉じる辺でエラーが出やすい。 ファイル自体は出力されているようだ。 Files unclosed: 1 [errno: 2] *** Please report bug to splint-bug@splint.org *** (attempting to continue, results may be incorre…

Splint3.1.2のWindows用のBinaryがありません。 Linux用のソースをWindowsでコンパイルしてみようと思いましたが、 ファイルが足りないようです。

Splint3.1.1で+csvのオプションを使用しようとすると、Windowsでうまく動かない。 Splint3.1.2はWindowsだと、うまく動作しない。 マニュフェストファイルとかの関係かもしれない。しょうがないので、最後の手を使った。 VmwareでUbuntu9.10をインストールし…

Splint3.1.2ビルドしてみたけど、 実行するとNorton SONARに食べられるようになった。 LARCH_PATH通したからかな？ まあ、何か変な動きをしているらしい・・・Norton SONARが何で食べるのかよくわからない。 食べるなら理由を詳しく書いて欲しい。世の中の人…

splint3.1.2をリダイレクトしてみたところ、 standard.lcdが読めないと出ていた。 環境変数のLARCH_PATHで指定するようだ。standard.lcdファイルがない。 3.1.2のsrcにあったのでそちらからコピー posix.lcd posixstrict.lcd standard.lcd standardstrict.lc…

FAQの中にWindows版の場所が書いてあった。 http://www.splint.org/win32.html http://www.splint.org/downloads/binaries/splint-3.1.1.win32.zipでも、csvのフラグつけると途中で出力止まっちゃうな。 だめっぽい。