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