パスワードを忘れた? アカウント作成
779644 submission
プログラミング

Cycloneがバグを「吹き飛ばす」?

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

未知のハックに一心不乱に取り組んだ結果、私は自然の法則を変えてしまった -- あるハッカー

読み込み中...