enbug diary(2006-11-02)_ FSF announces release of gNewSense 1.0 うむ。 gNewSense。 _ 自由な静的解析ツール しばらく前にGNUの連中に訊いていて、 紹介されたページ達。 splint sparse Free software tools for formal verification of computer programs 後、最近発表されたばかりのプロジェクトですが、 The GlobalGCC project launches なんて記事がありました。 まあ、微妙に関係ありそうかなあ。 ちなみに、GlobalGCCの連絡先になっているArnaudは友達だったりします。 もう二年ぐらい顔を合わせてないですけど。 要するにですね、 KlocworkとかCoverityの代替が欲しいんですね。 現状を見る限り、フリーソフトウェアでは到底太刀打ちできてない、と言
