crypto/bn/bntest.c:845: error: BUFFER_OVERRUN_L3
  Offset: [16, +oo] Size: [0, +oo] by call to `BN_mul`.
Showing all 11 steps of the trace


crypto/bn/bntest.c:832:3: Call
830.   		{
831.   		BN_lshift(b,a,i+1);
832.   		BN_add(c,c,c);
         ^
833.   		if (bp != NULL)
834.   			{

crypto/bn/bn_add.c:64:1: Parameter `b->top`
  62.   
  63.   /* r can == a or b */
  64. > int BN_add(BIGNUM *r, BIGNUM *a, BIGNUM *b)
  65.   	{
  66.   	BIGNUM *tmp;

crypto/bn/bn_add.c:86:9: Call
  84.   		if (BN_ucmp(a,b) < 0)
  85.   			{
  86.   			if (!BN_usub(r,b,a)) return(0);
                ^
  87.   			r->neg=1;
  88.   			}

crypto/bn/bn_add.c:167:1: Parameter `b->top`
    165.   
    166.   /* unsigned subtraction of b from a, a must be larger than b. */
    167. > int BN_usub(BIGNUM *r, BIGNUM *a, BIGNUM *b)
    168.   	{
    169.   	int max,min;

crypto/bn/bntest.c:845:3: Call
843.   			BIO_puts(bp,"\n");
844.   			}
845.   		BN_mul(d,a,c,ctx);
         ^
846.   		BN_sub(d,d,b);
847.   		if(!BN_is_zero(d))

crypto/bn/bn_mul.c:560:1: <Offset trace>
558.   #endif
559.   
560. > int BN_mul(BIGNUM *r, BIGNUM *a, BIGNUM *b, BN_CTX *ctx)
561.   	{
562.   	int top,al,bl;

crypto/bn/bn_mul.c:560:1: Parameter `a->top`
  558.   #endif
  559.   
  560. > int BN_mul(BIGNUM *r, BIGNUM *a, BIGNUM *b, BN_CTX *ctx)
  561.   	{
  562.   	int top,al,bl;

crypto/bn/bn_mul.c:577:2: Assignment
  575.   	bn_check_top(r);
  576.   
  577.   	al=a->top;
          ^
  578.   	bl=b->top;
  579.   	r->neg=a->neg^b->neg;

crypto/bn/bn_mul.c:560:1: <Length trace>
558.   #endif
559.   
560. > int BN_mul(BIGNUM *r, BIGNUM *a, BIGNUM *b, BN_CTX *ctx)
561.   	{
562.   	int top,al,bl;

crypto/bn/bn_mul.c:560:1: Parameter `*b->d`
  558.   #endif
  559.   
  560. > int BN_mul(BIGNUM *r, BIGNUM *a, BIGNUM *b, BN_CTX *ctx)
  561.   	{
  562.   	int top,al,bl;

crypto/bn/bn_mul.c:641:4: Array access: Offset: [16, +oo] Size: [0, +oo] by call to `BN_mul` 
  639.   			{
  640.   			bn_wexpand(b,al);
  641.   			b->d[bl]=0;
            ^
  642.   			bl++;
  643.   			goto symetric;
