Martin> So if you have Martin> d[s] = 1 Martin> then tainting s might be necessary, since now len(s) depends on Martin> the value of s. You meant "... tainting d might be necessary, ...", right? S