Predicate ConversionWithoutBoundsCheckConfig::isBarrier
Holds if data flow through node
is prohibited when the flow state is
state
.
Import path
import semmle.go.security.IncorrectIntegerConversionLib
Holds if data flow through node
is prohibited when the flow state is
state
.
import semmle.go.security.IncorrectIntegerConversionLib