Predicate madStoreStep
Holds if the data flow from pred to succ is a MaD store step.
Import path
import codeql.actions.dataflow.ExternalFlowpredicate madStoreStep(Node pred, Node succ, ContentSet c)Holds if the data flow from pred to succ is a MaD store step.
import codeql.actions.dataflow.ExternalFlowpredicate madStoreStep(Node pred, Node succ, ContentSet c)