Predicate fileDownloadToRunStep
A file source step followed by a Run step may read the file.
Import path
import codeql.actions.dataflow.TaintStepspredicate fileDownloadToRunStep(Node pred, Node succ)A file source step followed by a Run step may read the file.
import codeql.actions.dataflow.TaintStepspredicate fileDownloadToRunStep(Node pred, Node succ)