Predicate ConversionWithoutBoundsCheckConfig::isSource
Holds if source is a relevant data flow source with the given initial
state.
Import path
import semmle.go.security.IncorrectIntegerConversionLibHolds if source is a relevant data flow source with the given initial
state.
import semmle.go.security.IncorrectIntegerConversionLib