「一晩で500万行のコードのバグ、セキュリティ脆弱性を解析」記事へのコメント

既存の静的ツールとの違いは？

[Anonymous Coward]

既存の静的ツールとの違いは速度なんでしょうか。

MISRA-Cなり他のコーディング規約等に従って、
バグを混入させやすい書き方を排除するための
静的解析ツールなら各所から出ていますよね。

例えば、QACとか、
http://www.toyo.co.jp/ss/qac/index.html [toyo.co.jp]
フリーのものでもなんかあったかと。

--
# 僕には小人さんがついてるから問題なし

Re:既存の静的ツールとの違いは？

[Anonymous Coward]

Static checking toolはノウハウの塊だから、性能の良し悪しは大いにあると思います。
理論上soundnessが保証されなくても最悪計算時間がNPでも、実用上十分高速でfalse positiveが少なければ役に立つし、うまくそういうバランスを見つけて企業相手に商売すればけっこう金になります。

Re:既存の静的ツールとの違いは？

[Anonymous Coward]

とてつもなくインテリジェントであるよりも、
このファイルのこの部分は問題ないから無視してね、
という指定が細かくできるほうが実はうれしい

Re:既存の静的ツールとの違いは？

[gwamodin (2081)]

> とてつもなくインテリジェントであるよりも、
> このファイルのこの部分は問題ないから無視してね、
> という指定が細かくできるほうが実はうれしい

その指定、セコムしてますか？