Predicate DataFlow :: BarrierGuard :: getABarrierNode
Gets a node that is safely guarded by the given guard check.
Import path
import semmle.code.java.dataflow.DataFlow
Node
getABarrierNode
(
)