結局Splint3.1.2はUbuntuでやった。

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

しょうがないので、最後の手を使った。
VmwareでUbuntu9.10をインストールし
UbuntuにSplint3.1.2をインストールして行った。

splint +csv aaa.csv test.c

で簡単にcsvになる。

暇なときにまた調べてみようと思う。