Cycloneがバグを「吹き飛ばす」?
タレコミ by k3c
k3c 曰く、
NewScientist.comの記事で取り上げられていたのですが、カーネル大学とAT&T研究所が共同で進めているCycloneというC言語クローン(そのまんまやんけ!)のプロジェクトがあるのですね。なんでも、C言語(に非常に近い、らしい)ソースをコンパイルするときにバッファオーバーフローなどの典型的なバグを作りこんでいないかチェックしてソースに修正をかけてくれるようです。今のところLinuxとCygwinに対応しているとのこと。目標はLinuxのような大きなOS全体をCycloneでbuiltできるようにすること、だそうです。大きく出ましたね…。
ワタシは不勉強にしてC言語には詳しくないのですが、ありがちなバグを作りこまずに済むのなら、このようなアプローチはかなり有効だと思われます。(チェック機能自体をどこまで信じるか、という哲学的問題は残りますが…。)他の言語でもこういうのがどんどん出てくるといいですね。