Splintのオプション（CSV出力）

コマンドラインで
Splint +csv aaa.csv xxx.c
を実行すると、CSVファイルが出力されます。