Member predicate TaintTracking :: SharedTaintStep :: persistentStorageStep
Holds if pred → succ should be considered a taint-propagating
data flow edge through persistent storage.
predicate
persistentStorageStep
(
Node
pred
,
Node
succ
)