test/bntest.c:1532: error: BUFFER_OVERRUN_L2
  Offset: [0, 536870912] (⇐ [0, 1] + [0, 536870911]) Size: 2 by call to `parsedecBN`.
Showing all 8 steps of the trace


test/bntest.c:1532:15: Call
1530.       int st = 0;
1531.   
1532.       int ret = parsedecBN(&bn, "0");
                      ^
1533.       if (ret != 1 || !BN_is_zero(bn) || BN_is_negative(bn)) {
1534.           fprintf(stderr, "BN_dec2bn(0) gave a bad result.\n");

test/bntest.c:98:1: Parameter `*in`
  96.   }
  97.   
  98. > static int parsedecBN(BIGNUM **out, const char *in)
  99.   {
  100.       *out = NULL;

test/bntest.c:101:12: Call
  99.   {
  100.       *out = NULL;
  101.       return BN_dec2bn(out, in);
                    ^
  102.   }
  103.   

crypto/bn/bn_print.c:213:10: <Offset trace>
211.       }
212.   
213.       for (i = 0; i <= (INT_MAX/4) && isdigit((unsigned char)a[i]); i++)
                ^
214.           continue;
215.   

crypto/bn/bn_print.c:213:10: Assignment
    211.       }
    212.   
    213.       for (i = 0; i <= (INT_MAX/4) && isdigit((unsigned char)a[i]); i++)
                    ^
    214.           continue;
    215.   

crypto/bn/bn_print.c:199:1: <Length trace>
197.   }
198.   
199. > int BN_dec2bn(BIGNUM **bn, const char *a)
200.   {
201.       BIGNUM *ret = NULL;

crypto/bn/bn_print.c:199:1: Parameter `*a`
    197.   }
    198.   
    199. > int BN_dec2bn(BIGNUM **bn, const char *a)
    200.   {
    201.       BIGNUM *ret = NULL;

crypto/bn/bn_print.c:213:37: Array access: Offset: [0, 536870912] (⇐ [0, 1] + [0, 536870911]) Size: 2 by call to `parsedecBN` 
    211.       }
    212.   
    213.       for (i = 0; i <= (INT_MAX/4) && isdigit((unsigned char)a[i]); i++)
                                               ^
    214.           continue;
    215.   
