crypto/bn/bn_recp.c:219: error: BUFFER_OVERRUN_L1
  Offset: [7, +oo] (⇐ [0, +oo] + 7) Size: 4 by call to `BN_set_bit`.
Showing all 9 steps of the trace


crypto/bn/bn_recp.c:218:2: Call
216.   	BN_init(&t);
217.   
218.   	BN_zero(&t);
        ^
219.   	if (!BN_set_bit(&t,len)) goto err;
220.   

crypto/bn/bn_lib.c:548:1: Parameter `*a->d`
  546.   	}
  547.   
  548. > int BN_set_word(BIGNUM *a, BN_ULONG w)
  549.   	{
  550.   	int i,n;

crypto/bn/bn_recp.c:219:7: Call
217.   
218.   	BN_zero(&t);
219.   	if (!BN_set_bit(&t,len)) goto err;
             ^
220.   
221.   	if (!BN_div(r,NULL,&t,m,ctx)) goto err;

crypto/bn/bn_lib.c:688:1: Parameter `*a->d`
  686.   	}
  687.   
  688. > int BN_set_bit(BIGNUM *a, int n)
  689.   	{
  690.   	int i,j,k;

crypto/bn/bn_lib.c:696:7: Call
  694.   	if (a->top <= i)
  695.   		{
  696.   		if (bn_wexpand(a,i+1) == NULL) return(0);
               ^
  697.   		for(k=a->top; k<i+1; k++)
  698.   			a->d[k]=0;

crypto/bn/bn_lib.c:344:1: <Length trace>
342.   	}
343.   
344. > BIGNUM *bn_expand2(BIGNUM *b, int words)
345.   	{
346.   	BN_ULONG *A,*B,*a;

crypto/bn/bn_lib.c:344:1: Parameter `*b->d`
    342.   	}
    343.   
    344. > BIGNUM *bn_expand2(BIGNUM *b, int words)
    345.   	{
    346.   	BN_ULONG *A,*B,*a;

crypto/bn/bn_lib.c:367:3: Assignment
    365.   memset(A,0x5c,sizeof(BN_ULONG)*(words+1));
    366.   #if 1
    367.   		B=b->d;
             ^
    368.   		/* Check if the previous number needs to be copied */
    369.   		if (B != NULL)

crypto/bn/bn_lib.c:377:43: Array access: Offset: [7, +oo] (⇐ [0, +oo] + 7) Size: 4 by call to `BN_set_bit` 
    375.   				{
    376.   				A[0]=B[0]; A[1]=B[1]; A[2]=B[2]; A[3]=B[3];
    377.   				A[4]=B[4]; A[5]=B[5]; A[6]=B[6]; A[7]=B[7];
                                                     ^
    378.   				A+=8;
    379.   				B+=8;
