踊るﾌﾟﾛｸﾞﾗﾏ物語

大谷　弘喜

2009年05月28日

Find Bugsが便利な件

過去にいくつかのｿｰｽｺｰﾄﾞの解析ﾂｰﾙ(と言えばいいのか？)を試したことがあります｡それは､C/C++用やJava用､Python用のものでした｡また､試したのもかなり以前のことで､いつ頃だったかは思い出せません｡ただ､そのときの印象では､ｿｰｽｺｰﾄﾞを静的に解析してもﾊﾞｸﾞなんて見つけられることはほとんどないし､まともなﾚﾎﾟｰﾄをしてくれない､と言うものです｡そのときの印象が正しい判断だったのかどうかは､今となってはわかりません｡なんて言うﾂｰﾙを試したのかさえ覚えておらず､印象だけが残っていました｡

さて､最近､社内でFind Bugsが使われ始めました｡ Eclipseのﾌﾟﾗｸﾞｲﾝもあるので､便利です｡さて､Find Bugsで検査すると大量のﾚﾎﾟｰﾄが出てきました｡詳細はかけないのですが､

class MyClass {
   private String foo;
   public void func(String foo) {
   // いろんな処理
   foo = another_func(foo);
   }
}

のようなｺｰﾄﾞでお怒りになっています｡いろんな処理のあとfoo = another_func(foo);でその後､foo使ってないのになんで代入しているの？ｺｰﾄﾞ書き忘れたりしてない? ということらしいです｡で､ここは､本当はthis.foo = another_func(foo);というものの間違いでした｡

これ以外にも､怪しそうなｺｰﾄﾞをちゃんと教えてくれたりしていて､ﾊﾞｸﾞなんだけど､たまたまちゃんと動いているように見えていただけとかがありました｡

そんなに手間ひまをかけずにある程度ﾊﾞｸﾞと思われるところを見つけてくれるので､かなり使えそうです｡そして､僕の昔の印象は､たまたま使ったﾂｰﾙが悪かったのか､その後の数年で進化した結果なのかはわかりません｡

ﾊﾞｯｸﾅﾝﾊﾞｰ

ﾍﾟｰｼﾞﾄｯﾌﾟ

[ﾎｰﾑ]
[ﾌﾞﾛｸﾞｺﾝｾﾌﾟﾄ]
[個人情報]
[著作権]

踊るﾌﾟﾛｸﾞﾗﾏ物語

Find Bugsが便利な件

最新ｴﾝﾄﾘｰ

ﾊﾞｯｸﾅﾝﾊﾞｰ