test/bntest.c:1677: error: BUFFER_OVERRUN_L2
  Offset: [2, 536870915] (⇐ [2, 4] + [0, 536870911]) Size: 7 by call to `BN_asc2bn`.
Showing all 9 steps of the trace


test/bntest.c:1677:10: Call
1675.           goto err;
1676.   
1677.       if (!TEST_true(BN_asc2bn(&bn, "0x1234"))
                 ^
1678.               || !TEST_BN_eq_word(bn, 0x1234)
1679.               || !TEST_BN_ge_zero(bn))

crypto/bn/bn_print.c:267:1: Parameter `*a`
  265.   }
  266.   
  267. > int BN_asc2bn(BIGNUM **bn, const char *a)
  268.   {
  269.       const char *p = a;

crypto/bn/bn_print.c:269:5: Assignment
  267.   int BN_asc2bn(BIGNUM **bn, const char *a)
  268.   {
  269.       const char *p = a;
             ^
  270.   
  271.       if (*p == '-')

crypto/bn/bn_print.c:275:14: Call
  273.   
  274.       if (p[0] == '0' && (p[1] == 'X' || p[1] == 'x')) {
  275.           if (!BN_hex2bn(bn, p + 2))
                      ^
  276.               return 0;
  277.       } else {

crypto/bn/bn_print.c:139:10: <Offset trace>
137.       }
138.   
139.       for (i = 0; i <= (INT_MAX/4) && isxdigit((unsigned char)a[i]); i++)
                ^
140.           continue;
141.   

crypto/bn/bn_print.c:139:10: Assignment
    137.       }
    138.   
    139.       for (i = 0; i <= (INT_MAX/4) && isxdigit((unsigned char)a[i]); i++)
                    ^
    140.           continue;
    141.   

crypto/bn/bn_print.c:124:1: <Length trace>
122.   }
123.   
124. > int BN_hex2bn(BIGNUM **bn, const char *a)
125.   {
126.       BIGNUM *ret = NULL;

crypto/bn/bn_print.c:124:1: Parameter `*a`
    122.   }
    123.   
    124. > int BN_hex2bn(BIGNUM **bn, const char *a)
    125.   {
    126.       BIGNUM *ret = NULL;

crypto/bn/bn_print.c:139:37: Array access: Offset: [2, 536870915] (⇐ [2, 4] + [0, 536870911]) Size: 7 by call to `BN_asc2bn` 
    137.       }
    138.   
    139.       for (i = 0; i <= (INT_MAX/4) && isxdigit((unsigned char)a[i]); i++)
                                               ^
    140.           continue;
    141.   
