qtil
advanced-security/qtil-go 0.0.3
Search

Predicate tupleStep

Holds if taint flows from pred to succ via an extract tuple operation.

Import path

import semmle.go.dataflow.internal.TaintTrackingUtil
predicate tupleStep(Node pred, Node succ)