A question about taint propagation rules in array

[bobo]

Firstly, forgive my poor English please, I had do my best.

from "TaintDroid An Information-Flow Tracking System for Realtime PrivacyMonitoring on Smartphones" :
 For example, if untainted variable u is stored into array A at index 0 (A[0]) and tainted variable t is stored into A[1], then array A is tainted. Later, if variable v is assigned to A[0], v will be tainted, even though u was untainted.

so, if untainted variable q is assigned to A[1] instead of tainted variable t, the array still be tainted?
thanks for your kind reply.

[Jaeyeon Jung]

Sorry for the confusion. I think we fixed it in our journal submission. Basically, once a tainted variable is stored into array A, then the array A gets tainted so from that point any variable that is read from the array A will get tainted (a potential source of false positives). Also, if I remember correctly, once array A is tainted then it will stay tainted until the end of its lifetime.

-- 

Jaeyeon Jung (정재연)

[bobo]

Thank you very much.