Member predicate TaintTracking::AdditionalReadStep::step
Holds if the step from node1
to node2
is a read step of c
and should
apply to all data flow configurations.
Holds if the step from node1
to node2
is a read step of c
and should
apply to all data flow configurations.