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


apps/testdsa.h:31:9: Call
29.   
30.   	if ((dsa=DSA_new()) == NULL) return(NULL);
31.   	dsa->p=BN_bin2bn(dsa512_p,sizeof(dsa512_p),NULL);
              ^
32.   	dsa->q=BN_bin2bn(dsa512_q,sizeof(dsa512_q),NULL);
33.   	dsa->g=BN_bin2bn(dsa512_g,sizeof(dsa512_g),NULL);

crypto/bn/bn_lib.c:595:1: Parameter `*ret->d`
  593.   
  594.   /* ignore negative */
  595. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
  596.   	{
  597.   	unsigned int i,m;

apps/testdsa.h:32:9: Call
30.   	if ((dsa=DSA_new()) == NULL) return(NULL);
31.   	dsa->p=BN_bin2bn(dsa512_p,sizeof(dsa512_p),NULL);
32.   	dsa->q=BN_bin2bn(dsa512_q,sizeof(dsa512_q),NULL);
              ^
33.   	dsa->g=BN_bin2bn(dsa512_g,sizeof(dsa512_g),NULL);
34.   	if ((dsa->p == NULL) || (dsa->q == NULL) || (dsa->g == NULL))

crypto/bn/bn_lib.c:595:1: Parameter `*ret->d`
  593.   
  594.   /* ignore negative */
  595. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
  596.   	{
  597.   	unsigned int i,m;

crypto/bn/bn_lib.c:610:6: Call
  608.   		return(ret);
  609.   		}
  610.   	if (bn_expand(ret,(int)(n+2)*8) == NULL)
              ^
  611.   		return(NULL);
  612.   	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,*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_bin2bn` 
    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.   				}
