Predicate TaintTracking::serializeStep
Holds if pred → succ should be considered a taint-propagating
data flow edge through data serialization, such as JSON.stringify.
Import path
import javascriptpredicate serializeStep(Node pred, Node succ)Holds if pred → succ should be considered a taint-propagating
data flow edge through data serialization, such as JSON.stringify.
import javascriptpredicate serializeStep(Node pred, Node succ)