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

PizzaFactory3でもecloxは使えます。 TOPPERS/JSPのsample1を試しにかけてみました。 需要がどの程度かわかりませんが3rd party toolsに検討してもよいかもです。 簡単な使い方は Doxygenで出力したい、プロジェクトを選択する。 メニューから[File]-[New]-[…

そういえば、ESECでこちらの会社の展示をやっていまして何気なくみていました。私の第一感は「strncpyですか」です*1。Ｃ言語で文字列操作を行う機会はほとんど無く、使用するときは比較的ナーバスになるんですが、このデモを見て「おーっ！」って思うエンジ…