Output value of avm_uleb_decode() is <= UINT32_MAX

[wantehchang]

If the leb128() value read from the bitstream is > UINT32_MAX, avm_uleb_decode() fails and returns -1. Therefore after a successful avm_uleb_decode() call, the output value must be <= UINT32_MAX.

[wantehchang]

The following code in avm_uleb_decode() ensures that type_value <= UINT32_MAX:

int avm_uleb_decode(const uint8_t *buffer, size_t available, uint64_t *value,
                    size_t *length) {
        ...

        // Fail on values larger than 32-bits to ensure consistent behavior on
        // 32 and 64 bit targets: value is typically used to determine buffer
        // allocation size.
        if (*value > UINT32_MAX) return -1;

        ...
}