Predicate signature Configs::isBarrierIn
Holds if data flow into node
is prohibited.
Import path
import codeql.dataflow.DataFlow
signature predicate isBarrierIn(Node node)
Holds if data flow into node
is prohibited.
import codeql.dataflow.DataFlow
signature predicate isBarrierIn(Node node)