apps/testdsa.h:39: error: BUFFER_OVERRUN_L3
  Offset: [7, +oo] (⇐ [0, +oo] + 7) Size: [0, +oo] by call to `BN_bin2bn`.
Showing all 9 steps of the trace


apps/testdsa.h:38:9: Call
36.   
37.   	if ((dsa=DSA_new()) == NULL) return(NULL);
38.   	dsa->p=BN_bin2bn(dsa512_p,sizeof(dsa512_p),NULL);
              ^
39.   	dsa->q=BN_bin2bn(dsa512_q,sizeof(dsa512_q),NULL);
40.   	dsa->g=BN_bin2bn(dsa512_g,sizeof(dsa512_g),NULL);

crypto/bn/bn_lib.c:574:1: Parameter `*ret->d`
  572.   
  573.   /* ignore negative */
  574. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
  575.   	{
  576.   	unsigned int i,m;

apps/testdsa.h:39:9: Call
37.   	if ((dsa=DSA_new()) == NULL) return(NULL);
38.   	dsa->p=BN_bin2bn(dsa512_p,sizeof(dsa512_p),NULL);
39.   	dsa->q=BN_bin2bn(dsa512_q,sizeof(dsa512_q),NULL);
              ^
40.   	dsa->g=BN_bin2bn(dsa512_g,sizeof(dsa512_g),NULL);
41.   	if ((dsa->p == NULL) || (dsa->q == NULL) || (dsa->g == NULL))

crypto/bn/bn_lib.c:574:1: Parameter `*ret->d`
  572.   
  573.   /* ignore negative */
  574. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
  575.   	{
  576.   	unsigned int i,m;

crypto/bn/bn_lib.c:589:6: Call
  587.   		return(ret);
  588.   		}
  589.   	if (bn_expand(ret,(int)(n+2)*8) == NULL)
              ^
  590.   		return(NULL);
  591.   	i=((n-1)/BN_BYTES)+1;

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_bin2bn` 
    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;
