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