Predicate TaintedObject::label

Gets the flow label representing a deeply tainted object.

A “tainted object” is an array or object whose property values are all assumed to be tainted as well.

Note that the presence of the this label generally implies the presence of the taint label as well.