Predicate InsecureRandomnessConfig::isBarrierOut
Holds if data flow out of node is prohibited.
Import path
import semmle.code.java.security.InsecureRandomnessQuerypredicate isBarrierOut(Node n)Holds if data flow out of node is prohibited.
import semmle.code.java.security.InsecureRandomnessQuerypredicate isBarrierOut(Node n)