crypto/bn/bntest.c:741: error: BUFFER_OVERRUN_L3
  Offset: [7, +oo] (⇐ [0, +oo] + 7) Size: [0, +oo] by call to `BN_lshift`.
Showing all 11 steps of the trace


crypto/bn/bntest.c:735:2: Call
733.   	b=BN_new();
734.   	c=BN_new();
735.   	BN_one(c);
        ^
736.   
737.   	BN_rand(a,200,0,0); /**/

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/bntest.c:737:2: Call
735.   	BN_one(c);
736.   
737.   	BN_rand(a,200,0,0); /**/
        ^
738.   	a->neg=rand_neg();
739.   	for (i=0; i<70; i++)

crypto/bn/bn_rand.c:65:1: Parameter `*rnd->d`
  63.   #include "rand.h"
  64.   
  65. > int BN_rand(BIGNUM *rnd, int bits, int top, int bottom)
  66.   	{
  67.   	unsigned char *buf=NULL;

crypto/bn/bntest.c:741:3: Call
739.   	for (i=0; i<70; i++)
740.   		{
741.   		BN_lshift(b,a,i+1);
         ^
742.   		BN_add(c,c,c);
743.   		if (bp != NULL)

crypto/bn/bn_shift.c:124:1: Parameter `*r->d`
  122.   	}
  123.   
  124. > int BN_lshift(BIGNUM *r, BIGNUM *a, int n)
  125.   	{
  126.   	int i,nw,lb,rb;

crypto/bn/bn_shift.c:131:6: Call
  129.   
  130.   	r->neg=a->neg;
  131.   	if (bn_wexpand(r,a->top+(n/BN_BITS2)+1) == NULL) return(0);
              ^
  132.   	nw=n/BN_BITS2;
  133.   	lb=n%BN_BITS2;

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: [0, +oo] by call to `BN_lshift` 
    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;
