Member predicate TaintTracking::PersistentStorageTaintStep::persistentStorageStep

Holds if pred → succ should be considered a taint-propagating data flow edge through persistent storage.