Flow state for ConversionWithoutBoundsCheckConfig.
Import path
import semmle.go.security.IncorrectIntegerConversionLibDirect supertypes
Predicates
| architectureBitSizeUnknown | Holds if the architecture is not known. |
| getArchitectureBitSize | Gets whether the architecture is 32 bit or 64 bit, if it is known. |
| getBitSize | Gets the smallest bitsize where the maximum value that could get to this point fits into an integer type whose maximum value is 2^(result) - 1. |
| getSinkBitSize | Gets the bitsize we should use for a sink of type |
| toString | Gets a textual representation of this element. |