crypto/bn/bn_rand.c:135: error: BUFFER_OVERRUN_L3
  Offset: [-1, +oo] Size: [1, +oo] by call to `bnrand`.
Showing all 13 steps of the trace


crypto/bn/bn_rand.c:123:9: Call
121.       }
122.   
123.       n = BN_num_bits(range);     /* n > 0 */
               ^
124.   
125.       /* BN_is_bit_set(range, n - 1) always holds */

crypto/bn/bn_lib.c:140:9: Assignment
  138.   
  139.       if (BN_is_zero(a))
  140.           return 0;
                 ^
  141.       return ((i * BN_BITS2) + BN_num_bits_word(a->d[i]));
  142.   }

crypto/bn/bn_rand.c:123:5: Assignment
121.       }
122.   
123.       n = BN_num_bits(range);     /* n > 0 */
           ^
124.   
125.       /* BN_is_bit_set(range, n - 1) always holds */

crypto/bn/bn_rand.c:135:18: Call
133.            */
134.           do {
135.               if (!bnrand(flag, r, n + 1, BN_RAND_TOP_ANY, BN_RAND_BOTTOM_ANY))
                        ^
136.                   return 0;
137.   

crypto/bn/bn_rand.c:57:14: <Offset trace>
55.           unsigned char c;
56.   
57.           for (i = 0; i < bytes; i++) {
                   ^
58.               if (RAND_bytes(&c, 1) <= 0)
59.                   goto err;

crypto/bn/bn_rand.c:57:14: Assignment
  55.           unsigned char c;
  56.   
  57.           for (i = 0; i < bytes; i++) {
                     ^
  58.               if (RAND_bytes(&c, 1) <= 0)
  59.                   goto err;

crypto/bn/bn_rand.c:21:1: <Length trace>
19.   } BNRAND_FLAG;
20.   
21. > static int bnrand(BNRAND_FLAG flag, BIGNUM *rnd, int bits, int top, int bottom)
22.   {
23.       unsigned char *buf = NULL;

crypto/bn/bn_rand.c:21:1: Parameter `bits`
  19.   } BNRAND_FLAG;
  20.   
  21. > static int bnrand(BNRAND_FLAG flag, BIGNUM *rnd, int bits, int top, int bottom)
  22.   {
  23.       unsigned char *buf = NULL;

crypto/bn/bn_rand.c:35:5: Assignment
  33.           goto toosmall;
  34.   
  35.       bytes = (bits + 7) / 8;
            ^
  36.       bit = (bits - 1) % 8;
  37.       mask = 0xff << (bit + 1);

crypto/bn/bn_rand.c:39:11: Call
  37.       mask = 0xff << (bit + 1);
  38.   
  39.       buf = OPENSSL_malloc(bytes);
                  ^
  40.       if (buf == NULL) {
  41.           BNerr(BN_F_BNRAND, ERR_R_MALLOC_FAILURE);

crypto/mem.c:201:9: Assignment
    199.   
    200.       if (num == 0)
    201.           return NULL;
                   ^
    202.   
    203.       FAILTEST();

crypto/bn/bn_rand.c:39:5: Assignment
  37.       mask = 0xff << (bit + 1);
  38.   
  39.       buf = OPENSSL_malloc(bytes);
            ^
  40.       if (buf == NULL) {
  41.           BNerr(BN_F_BNRAND, ERR_R_MALLOC_FAILURE);

crypto/bn/bn_rand.c:83:9: Array access: Offset: [-1, +oo] Size: [1, +oo] by call to `bnrand` 
  81.       buf[0] &= ~mask;
  82.       if (bottom)                 /* set bottom bit if requested */
  83.           buf[bytes - 1] |= 1;
                ^
  84.       if (!BN_bin2bn(buf, bytes, rnd))
  85.           goto err;
