トップ «前の日記(2005-01-18 (Tue)) 最新 次の日記(2005-01-21 (Fri))» 編集

Journal InTime

2005-01-20 (Thu)

_ [Ruby] 汚染状態の伝搬

分かってると思うけど、

汚染されている文字列や 汚染されている文字列を指しているオブジェクトから to_sとかinspectとかで生成される文字列は汚染される．

[雄也の?日坊主日記(2005-01-19)より引用]

というのは常に成り立つわけじゃないよね。

class Foo
  def initialize(s)
    @s = s
  end
end
f = Foo.new("abc".taint)
s = f.to_s
p s             #=> "#<Foo:0xb7d5a778>"
p s.tainted?    #=> false
s2 = f.inspect
p s2            #=> "#<Foo:0xb7d5a778 @s=\"abc\">"
p s2.tainted?   #=> true

重要なのは、fが「汚染されている文字列を指している」かどうかではなくて、 to_sやinspectが汚染されている文字列を使うかどうか。 上の例だと、to_sには@sの値はまったく使用されないので、汚染が伝搬しない (する必要がない)。

[ツッコミを入れる]
ツッコミ・コメントがあればどうぞ! E-mailアドレスは公開されません。
お名前:
E-mail:
コメント:
[TrackBack URL: http://shugo.net/jit/tb.rb/20050120]
本日のリンク元

子どもたち

Feed

RSS 1.0 FEED

前 2005年
1月		 次
日 月 火 水 木 金 土
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31

最近のコメント

  1. shugo (03-27)
  2. ささだ (03-26)
  3. みずしま (07-13)

最近のトラックバック

  1. 1.旬なキーワードでお得なブログの.. (2008-01-15 01:12)
  2. 2.yuum3のお仕事日記:[Ruby] Ruby .. (2008-01-14 17:40)
  3. 3.Journal InTime:CookieStoreの有.. (2008-01-14 12:06)

最近の記事

Sponsored by NaCl
Generated by tDiary version 2.1.4
Powered by Ruby version 1.8.5