Predicate MaxValueFlowConfig::isBarrierIn
Holds if data flow into node is prohibited.
Import path
import semmle.code.java.security.ArithmeticWithExtremeValuesQuerypredicate isBarrierIn(Node n)Holds if data flow into node is prohibited.
import semmle.code.java.security.ArithmeticWithExtremeValuesQuerypredicate isBarrierIn(Node n)