Member predicate TaintTracking::LegacyTaintStep::deserializeStep
Holds if pred → succ should be considered a taint-propagating
data flow edge through data deserialization, such as JSON.parse.
predicate deserializeStep(Node pred, Node succ)Holds if pred → succ should be considered a taint-propagating
data flow edge through data deserialization, such as JSON.parse.
predicate deserializeStep(Node pred, Node succ)