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


apps/testdsa.h:99:16: Call
97.       if ((dsa = DSA_new()) == NULL)
98.           return (NULL);
99.       priv_key = BN_bin2bn(dsa512_priv, sizeof(dsa512_priv), NULL);
                      ^
100.       pub_key = BN_bin2bn(dsa512_pub, sizeof(dsa512_pub), NULL);
101.       p = BN_bin2bn(dsa512_p, sizeof(dsa512_p), NULL);

crypto/bn/bn_lib.c:528:1: Parameter `*ret->d`
  526.   }
  527.   
  528. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
  529.   {
  530.       unsigned int i, m;

apps/testdsa.h:100:15: Call
98.           return (NULL);
99.       priv_key = BN_bin2bn(dsa512_priv, sizeof(dsa512_priv), NULL);
100.       pub_key = BN_bin2bn(dsa512_pub, sizeof(dsa512_pub), NULL);
                     ^
101.       p = BN_bin2bn(dsa512_p, sizeof(dsa512_p), NULL);
102.       q = BN_bin2bn(dsa512_q, sizeof(dsa512_q), NULL);

crypto/bn/bn_lib.c:528:1: Parameter `*ret->d`
  526.   }
  527.   
  528. > BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)
  529.   {
  530.       unsigned int i, m;

crypto/bn/bn_lib.c:550:9: Call
  548.       i = ((n - 1) / BN_BYTES) + 1;
  549.       m = ((n - 1) % (BN_BYTES));
  550.       if (bn_wexpand(ret, (int)i) == NULL) {
                 ^
  551.           BN_free(bn);
  552.           return NULL;

crypto/bn/bn_lib.c:1067:1: Parameter `*a->d`
    1065.   }
    1066.   
    1067. > BIGNUM *bn_wexpand(BIGNUM *a, int words)
    1068.   {
    1069.       return (words <= a->dmax) ? a : bn_expand2(a, words);

crypto/bn/bn_lib.c:1069:37: Call
    1067.   BIGNUM *bn_wexpand(BIGNUM *a, int words)
    1068.   {
    1069.       return (words <= a->dmax) ? a : bn_expand2(a, words);
                                                ^
    1070.   }
    1071.   

crypto/bn/bn_lib.c:376:1: Parameter `*b->d`
      374.    */
      375.   
      376. > BIGNUM *bn_expand2(BIGNUM *b, int words)
      377.   {
      378.       bn_check_top(b);

crypto/bn/bn_lib.c:381:23: Call
      379.   
      380.       if (words > b->dmax) {
      381.           BN_ULONG *a = bn_expand_internal(b, words);
                                   ^
      382.           if (!a)
      383.               return NULL;

crypto/bn/bn_lib.c:299:1: <Length trace>
297.   /* This is used by bn_expand2() */
298.   /* The caller MUST check that words > b->dmax before calling this */
299. > static BN_ULONG *bn_expand_internal(const BIGNUM *b, int words)
300.   {
301.       BN_ULONG *A, *a = NULL;

crypto/bn/bn_lib.c:299:1: Parameter `*b->d`
        297.   /* This is used by bn_expand2() */
        298.   /* The caller MUST check that words > b->dmax before calling this */
        299. > static BN_ULONG *bn_expand_internal(const BIGNUM *b, int words)
        300.   {
        301.       BN_ULONG *A, *a = NULL;

crypto/bn/bn_lib.c:325:5: Assignment
        323.   
        324.   #if 1
        325.       B = b->d;
                   ^
        326.       /* Check if the previous number needs to be copied */
        327.       if (B != NULL) {

crypto/bn/bn_lib.c:342:18: Array access: Offset: [3, +oo] (⇐ [0, +oo] + 3) Size: [0, 8388607] by call to `BN_bin2bn` 
        340.               a1 = B[1];
        341.               a2 = B[2];
        342.               a3 = B[3];
                                ^
        343.               A[0] = a0;
        344.               A[1] = a1;
