ssl/statem/statem_lib.c:435: 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:400:9: Call
398.       }
399.   
400.       j = EVP_PKEY_size(pkey);
               ^
401.       if (((int)len > j) || ((int)PACKET_remaining(pkt) > j)
402.           || (PACKET_remaining(pkt) == 0)) {

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

ssl/statem/statem_lib.c:400:5: Assignment
398.       }
399.   
400.       j = EVP_PKEY_size(pkey);
           ^
401.       if (((int)len > j) || ((int)PACKET_remaining(pkt) > j)
402.           || (PACKET_remaining(pkt) == 0)) {

ssl/statem/statem_lib.c:435:13: Call
433.                   goto f_err;
434.               }
435.               BUF_reverse(gost_data, data, len);
                   ^
436.               data = gost_data;
437.           }

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

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

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