crypto/bn/bn_mul.c:602: error: BUFFER_OVERRUN_L3
  Offset added: [8, +oo] Size: [0, 67108856] by call to `BN_copy`.
Showing all 9 steps of the trace


crypto/bn/bn_mul.c:547:13: Assignment
545.               if (bn_wexpand(rr, 16) == NULL)
546.                   goto err;
547.               rr->top = 16;
                   ^
548.               bn_mul_comba8(rr->d, a->d, b->d);
549.               goto end;

crypto/bn/bn_mul.c:602:20: Call
600.       rr->neg = a->neg ^ b->neg;
601.       bn_correct_top(rr);
602.       if (r != rr && BN_copy(r, rr) == NULL)
                          ^
603.           goto err;
604.   

crypto/bn/bn_lib.c:280:1: <Offset trace>
278.   }
279.   
280. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
281.   {
282.       bn_check_top(b);

crypto/bn/bn_lib.c:280:1: Parameter `b->top`
  278.   }
  279.   
  280. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
  281.   {
  282.       bn_check_top(b);

crypto/bn/bn_lib.c:280:1: <Length trace>
278.   }
279.   
280. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
281.   {
282.       bn_check_top(b);

crypto/bn/bn_lib.c:280:1: Parameter `*a->d`
  278.   }
  279.   
  280. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
  281.   {
  282.       bn_check_top(b);

crypto/bn/bn_lib.c:286:9: Call
  284.       if (a == b)
  285.           return a;
  286.       if (bn_wexpand(a, b->top) == NULL)
                 ^
  287.           return NULL;
  288.   

crypto/bn/bn_lib.c:942:1: Parameter `*a->d`
    940.   }
    941.   
    942. > BIGNUM *bn_wexpand(BIGNUM *a, int words)
    943.   {
    944.       return (words <= a->dmax) ? a : bn_expand2(a, words);

crypto/bn/bn_lib.c:290:9: Array access: Offset added: [8, +oo] Size: [0, 67108856] by call to `BN_copy` 
  288.   
  289.       if (b->top > 0)
  290.           memcpy(a->d, b->d, sizeof(b->d[0]) * b->top);
                 ^
  291.   
  292.       a->neg = b->neg;
