アカウント名:
パスワード:
https://www.rcis.aist.go.jp/project/FailSafeC-ja.html [aist.go.jp]絶対にバッファオーバーフローしないコンパイラ。誰も興味持ってないだけで、まあたぶんできるだろうから研究者の自己満足に過ぎない。#「私は完璧を嫌悪する。」とか言ったマッドサイエンティストいましたね、漫画に。
http://compcert.inria.fr/ [inria.fr]バグのないコンパイラもありますもしコンパイラにバグあるならばGCCのバックエンドが悪いコンパイラ
メモリのランダム化とスマートな整数やポインタの導入を似たようと言ってのけるやつが知っているくらい知名度の高い研究です
その昔バッファオーバーフローがないしコードはサンドボックス内で安全に実行されるJavaという言語がありましてね
メモリ管理はほぼ自動というおデブ養成マシーンですね。使ってますけど重いね。
JavaはCとはセマンティックスが違うから比較は無意味だが
セキュリティホールの代名詞って話ですか?
OpenBSDってメモリのランダム化してなかったっけ?せっかくランダム化しているのにそれを使わないようにOpenSSLに出し抜かれていて、結果OpenSSLが心臓出血して大惨事になりTheo様激オコって聞いたけど。
より多くのコメントがこの議論にあるかもしれませんが、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のバックエンドが悪いコンパイラ
Re: (スコア:0)
メモリのランダム化とスマートな整数やポインタの導入を似たようと言ってのけるやつが知っているくらい知名度の高い研究です
Re: (スコア:0)
その昔バッファオーバーフローがないしコードはサンドボックス内で安全に実行されるJavaという言語がありましてね
Re: (スコア:0)
メモリ管理はほぼ自動というおデブ養成マシーンですね。
使ってますけど重いね。
Re: (スコア:0)
JavaはCとはセマンティックスが違うから比較は無意味だが
それが今や (スコア:0)
セキュリティホールの代名詞って話ですか?
Re: (スコア:0)
OpenBSDってメモリのランダム化してなかったっけ?せっかくランダム化しているのにそれを使わないようにOpenSSLに出し抜かれていて、結果OpenSSLが心臓出血して大惨事になりTheo様激オコって聞いたけど。