アカウント名:
パスワード:
https://www.rcis.aist.go.jp/project/FailSafeC-ja.html [aist.go.jp]絶対にバッファオーバーフローしないコンパイラ。誰も興味持ってないだけで、まあたぶんできるだろうから研究者の自己満足に過ぎない。#「私は完璧を嫌悪する。」とか言ったマッドサイエンティストいましたね、漫画に。
http://compcert.inria.fr/ [inria.fr]バグのないコンパイラもありますもしコンパイラにバグあるならばGCCのバックエンドが悪いコンパイラ
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
身近な人の偉大さは半減する -- あるアレゲ人
似たような研究 (スコア:1)
https://www.rcis.aist.go.jp/project/FailSafeC-ja.html [aist.go.jp]
絶対にバッファオーバーフローしないコンパイラ。
誰も興味持ってないだけで、まあたぶんできるだろうから研究者の自己満足に過ぎない。
#「私は完璧を嫌悪する。」とか言ったマッドサイエンティストいましたね、漫画に。
Re:似たような研究 (スコア:0)
http://compcert.inria.fr/ [inria.fr]
バグのないコンパイラもあります
もしコンパイラにバグあるならばGCCのバックエンドが悪いコンパイラ