crypto/sm2/sm2_sign.c:214: error: BUFFER_OVERRUN_L3
  Offset added: [8, +oo] Size: [0, 536870848] by call to `BN_mod_add`.
Showing all 20 steps of the trace


crypto/sm2/sm2_sign.c:187:9: Call
185.   
186.       BN_CTX_start(ctx);
187.       t = BN_CTX_get(ctx);
               ^
188.       x1 = BN_CTX_get(ctx);
189.       if (x1 == NULL) {

crypto/bn/bn_ctx.c:229:5: Call
  227.       }
  228.       /* OK, make sure the returned bignum is "zero" */
  229.       BN_zero(ret);
             ^
  230.       ctx->used++;
  231.       CTXDBG_RET(ctx, ret);

crypto/bn/bn_lib.c:367:15: Assignment
    365.       a->neg = 0;
    366.       a->d[0] = w;
    367.       a->top = (w ? 1 : 0);
                         ^
    368.       bn_check_top(a);
    369.       return 1;

crypto/bn/bn_lib.c:367:5: Assignment
    365.       a->neg = 0;
    366.       a->d[0] = w;
    367.       a->top = (w ? 1 : 0);
               ^
    368.       bn_check_top(a);
    369.       return 1;

crypto/sm2/sm2_sign.c:214:10: Call
212.       }
213.   
214.       if (!BN_mod_add(t, r, s, order, ctx)) {
                ^
215.           SM2err(SM2_F_SM2_SIG_VERIFY, ERR_R_BN_LIB);
216.           goto done;

crypto/bn/bn_mod.c:28:1: Parameter `*r->d`
  26.   }
  27.   
  28. > int BN_mod_add(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *m,
  29.                  BN_CTX *ctx)
  30.   {

crypto/bn/bn_mod.c:31:10: Call
  29.                  BN_CTX *ctx)
  30.   {
  31.       if (!BN_add(r, a, b))
                 ^
  32.           return 0;
  33.       return BN_nnmod(r, r, m, ctx);

crypto/bn/bn_add.c:14:1: Parameter `*r->d`
    12.   
    13.   /* signed add of b to a. */
    14. > int BN_add(BIGNUM *r, const BIGNUM *a, const BIGNUM *b)
    15.   {
    16.       int ret, r_neg, cmp_res;

crypto/bn/bn_add.c:23:15: Call
    21.       if (a->neg == b->neg) {
    22.           r_neg = a->neg;
    23.           ret = BN_uadd(r, a, b);
                        ^
    24.       } else {
    25.           cmp_res = BN_ucmp(a, b);

crypto/bn/bn_add.c:76:1: Parameter `*r->d`
      74.   
      75.   /* unsigned add of b to a, r can be equal to a or b. */
      76. > int BN_uadd(BIGNUM *r, const BIGNUM *a, const BIGNUM *b)
      77.   {
      78.       int max, min, dif;

crypto/bn/bn_add.c:96:9: Call
      94.       dif = max - min;
      95.   
      96.       if (bn_wexpand(r, max + 1) == NULL)
                    ^
      97.           return 0;
      98.   

crypto/bn/bn_lib.c:941:1: Parameter `*a->d`
        939.   }
        940.   
        941. > BIGNUM *bn_wexpand(BIGNUM *a, int words)
        942.   {
        943.       return (words <= a->dmax) ? a : bn_expand2(a, words);

crypto/bn/bn_lib.c:943:37: Call
        941.   BIGNUM *bn_wexpand(BIGNUM *a, int words)
        942.   {
        943.       return (words <= a->dmax) ? a : bn_expand2(a, words);
                                                   ^
        944.   }
        945.   

crypto/bn/bn_lib.c:246:1: Parameter `*b->d`
          244.    */
          245.   
          246. > BIGNUM *bn_expand2(BIGNUM *b, int words)
          247.   {
          248.       bn_check_top(b);

crypto/bn/bn_lib.c:251:23: Call
          249.   
          250.       if (words > b->dmax) {
          251.           BN_ULONG *a = bn_expand_internal(b, words);
                                       ^
          252.           if (!a)
          253.               return NULL;

crypto/bn/bn_lib.c:208:1: <Offset trace>
206.   /* This is used by bn_expand2() */
207.   /* The caller MUST check that words > b->dmax before calling this */
208. > static BN_ULONG *bn_expand_internal(const BIGNUM *b, int words)
209.   {
210.       BN_ULONG *a = NULL;

crypto/bn/bn_lib.c:208:1: Parameter `b->top`
            206.   /* This is used by bn_expand2() */
            207.   /* The caller MUST check that words > b->dmax before calling this */
            208. > static BN_ULONG *bn_expand_internal(const BIGNUM *b, int words)
            209.   {
            210.       BN_ULONG *a = NULL;

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

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

crypto/bn/bn_lib.c:233:9: Array access: Offset added: [8, +oo] Size: [0, 536870848] by call to `BN_mod_add` 
            231.       assert(b->top <= words);
            232.       if (b->top > 0)
            233.           memcpy(a, b->d, sizeof(*a) * b->top);
                           ^
            234.   
            235.       return a;
