Predicate TestConfig::isBarrierIn
Holds if data flow into node
is prohibited.
Import path
import utils.test.dataflow.testTaintConfig
predicate isBarrierIn(Node node)
Holds if data flow into node
is prohibited.
import utils.test.dataflow.testTaintConfig
predicate isBarrierIn(Node node)