ssl/statem/statem_lib.c:458: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BUF_reverse`.
Showing all 7 steps of the trace


ssl/statem/statem_lib.c:421:9: Call
419.       }
420.   
421.       j = EVP_PKEY_size(pkey);
               ^
422.       if (((int)len > j) || ((int)PACKET_remaining(pkt) > j)
423.           || (PACKET_remaining(pkt) == 0)) {

crypto/evp/p_lib.c:48:5: Assignment
  46.       if (pkey && pkey->ameth && pkey->ameth->pkey_size)
  47.           return pkey->ameth->pkey_size(pkey);
  48.       return 0;
            ^
  49.   }
  50.   

ssl/statem/statem_lib.c:421:5: Assignment
419.       }
420.   
421.       j = EVP_PKEY_size(pkey);
           ^
422.       if (((int)len > j) || ((int)PACKET_remaining(pkt) > j)
423.           || (PACKET_remaining(pkt) == 0)) {

ssl/statem/statem_lib.c:458:13: Call
456.                   goto err;
457.               }
458.               BUF_reverse(gost_data, data, len);
                   ^
459.               data = gost_data;
460.           }

crypto/buffer/buffer.c:149:1: <LHS trace>
147.   }
148.   
149. > void BUF_reverse(unsigned char *out, const unsigned char *in, size_t size)
150.   {
151.       size_t i;

crypto/buffer/buffer.c:149:1: Parameter `size`
  147.   }
  148.   
  149. > void BUF_reverse(unsigned char *out, const unsigned char *in, size_t size)
  150.   {
  151.       size_t i;

crypto/buffer/buffer.c:153:9: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BUF_reverse` 
  151.       size_t i;
  152.       if (in) {
  153.           out += size - 1;
                 ^
  154.           for (i = 0; i < size; i++)
  155.               *out-- = *in++;
