2007-05-21 Splint TODO で、PF3で静的解析ツールが使えないかということでSplintに白羽の矢を立ててみました。 PF2では実行できるところまでは確認出来たのですが、機能が豊富なだけにオプションの設定が大事だと思われるファーストインプレッション。