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 javascript
predicate
serializeStep
(
Node
pred
,
Node
succ
)