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


crypto/bn/bntest.c:911:2: Call
909.   	d=BN_new();
910.   	e=BN_new();
911.   	BN_one(c);
        ^
912.   
913.   	BN_rand(a,200,0,0); /**/

crypto/bn/bn_lib.c:567:1: Parameter `*a->d`
  565.   	}
  566.   
  567. > int BN_set_word(BIGNUM *a, BN_ULONG w)
  568.   	{
  569.   	int i,n;

crypto/bn/bntest.c:913:2: Call
911.   	BN_one(c);
912.   
913.   	BN_rand(a,200,0,0); /**/
        ^
914.   	a->neg=rand_neg();
915.   	for (i=0; i<70; i++)

crypto/bn/bn_rand.c:65:1: Parameter `*rnd->d`
  63.   #include <openssl/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:917:3: Call
915.   	for (i=0; i<70; i++)
916.   		{
917.   		BN_rshift(b,a,i+1);
         ^
918.   		BN_add(c,c,c);
919.   		if (bp != NULL)

crypto/bn/bn_shift.c:156:1: Parameter `*r->d`
  154.   	}
  155.   
  156. > int BN_rshift(BIGNUM *r, BIGNUM *a, int n)
  157.   	{
  158.   	int i,j,nw,lb,rb;

crypto/bn/bn_shift.c:173:7: Call
  171.   		{
  172.   		r->neg=a->neg;
  173.   		if (bn_wexpand(r,a->top-nw+1) == NULL) return(0);
               ^
  174.   		}
  175.   

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

crypto/bn/bn_lib.c:367:3: Assignment
    365.   			}
    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:447:35: Array access: Offset: [3, +oo] (⇐ [0, +oo] + 3) Size: [0, +oo] by call to `BN_rshift` 
    445.   				 */
    446.   				BN_ULONG a0,a1,a2,a3;
    447.   				a0=B[0]; a1=B[1]; a2=B[2]; a3=B[3];
                                             ^
    448.   				A[0]=a0; A[1]=a1; A[2]=a2; A[3]=a3;
    449.   				}
