「C/C++でFlashアプリが開発できるAdobe Alchemy」記事へのコメント

ウイルス感染環境作んなボケェ！

[Anonymous Coward]

セキュリティのセの字も解ってないくせに隅っこでおとなしくしてろ腐れAdobeが

メモリ破壊コード

[Anonymous Coward]

バッファオーバーフロー起こしたり、メモリを破壊して暴走するようなC言語のコードでも、ちゃんと再現してくれるのかな？それとも例外になってしまうのか。

Re:

[Anonymous Coward]

言語規約上、そのようなコードを実行したときの動作は「不定」ですから、
別に何を再現する必要も無いのでは？

不定というのは、結果がどうなっても構わないという意味です。
暴走、例外はおろか、鼻から悪魔が飛び出しても言語規約上許されますし、
そんな分かりやすいリアクションではなく、一見正しく動作しているフリをしても構いません。
数多くのプログラマを苦しめてきた、Ｃの暗黒面の筆頭といって良い仕様です。

Re:

[Anonymous Coward]

言語仕様上は不定として、じゃあ Alchemy はどうしてくれるんだろうって話じゃね？

いけないアソコをおさわりしちゃった時に、Alchemy も何らチェックせず本当にリアルのアソコをおさわりしちゃうのか、それともそこらへんはきっちりチェックして、なんか例外を出すのかと。
あるいは本当におさわりするわけじゃないけども、仮想マシンの中で“世界のアドビ”フラグでも立てて、0xAD0BE の倍数でアホになる挙動をエミュレートするとか。

鼻から悪魔を出してもいいのなら、“じゃあ Alchemy ではこーし(ますっ|ませんっ)”と宣言してくれても何ら違反じゃないよね、っていう。

Re:

[Anonymous Coward]

例外なんてあるんですか？

Re:

[Anonymous Coward]

不定である以上、例外だろうと特例だろうと何でもありです。
コードの中でそれをトラップさせる仕組みを追加しても構いません。

ある意味盲点ですが「そのまま正しく動作」させても規格上は問題ありません。
MS-DOS の頃など、V-RAM や OS のワークエリア等を直に読み書きしていたのがこれにあたります。

処理系を実装するにあたって何も定められていない以上、
そのようなコードを放置して、あるがままに動作させても言語仕様には違反しませんし、
処理系としてそのような動作を保証しても構いません。
でもそれは特定の処理系における実装の例に過ぎず、
他の環境でどうなるかは分からないし、環境ごとに異なる結果となっても、
そのいずれもがＣの仕様に準じた正しい処理系だと言えるということです。

Re:

[Anonymous Coward]

だから不定じゃなくて未定義だと言ってるのに。
そろそろ知ったかぶりが痛々しい

Re:メモリ破壊コード

[Anonymous Coward]

おっしゃる通りだね。
元コメには、初級C言語を学んで欲しい。
http://www.st.rim.or.jp/~phinloda/cqa/cqa7.html [rim.or.jp]