crypto/evp/evp_pkey.c:180: error: BUFFER_OVERRUN_L3
  Offset: [-3, +oo] Size: 12 by call to `BN_mod_exp`.
Showing all 19 steps of the trace


crypto/evp/evp_pkey.c:175:15: Call
173.   			goto dsaerr;
174.   		}
175.   		if (!(ctx = BN_CTX_new())) {
                     ^
176.   			EVPerr(EVP_F_EVP_PKCS82PKEY,ERR_R_MALLOC_FAILURE);
177.   			goto dsaerr;

crypto/bn/bn_ctx.c:79:2: Call
  77.   		}
  78.   
  79.   	BN_CTX_init(ret);
         ^
  80.   	ret->flags=BN_FLG_MALLOCED;
  81.   	return(ret);

crypto/bn/bn_ctx.c:89:2: Assignment
    87.   	ctx->tos = 0;
    88.   	ctx->flags = 0;
    89.   	ctx->depth = 0;
           ^
    90.   	ctx->too_many = 0;
    91.   	for (i = 0; i < BN_CTX_NUM; i++)

crypto/evp/evp_pkey.c:180:8: Call
178.   		}
179.   			
180.   		if (!BN_mod_exp(dsa->pub_key, dsa->g,
              ^
181.   						 dsa->priv_key, dsa->p, ctx)) {
182.   			

crypto/bn/bn_exp.c:333:1: Parameter `ctx->depth`
  331.   #endif /* def ATALLA */
  332.   
  333. > int BN_mod_exp(BIGNUM *r, BIGNUM *a, const BIGNUM *p, const BIGNUM *m,
  334.   	       BN_CTX *ctx)
  335.   	{

crypto/bn/bn_exp.c:361:9: Call
  359.   #endif
  360.   #ifdef RECP_MUL_MOD
  361.   		{ ret=BN_mod_exp_recp(r,a,p,m,ctx); }
                 ^
  362.   #else
  363.   		{ ret=BN_mod_exp_simple(r,a,p,m,ctx); }

crypto/bn/bn_exp.c:374:1: Parameter `ctx->depth`
    372.   
    373.   /* #ifdef RECP_MUL_MOD */
    374. > int BN_mod_exp_recp(BIGNUM *r, const BIGNUM *a, const BIGNUM *p,
    375.   		    const BIGNUM *m, BN_CTX *ctx)
    376.   	{

crypto/bn/bn_exp.c:391:2: Call
    389.   		}
    390.   
    391.   	BN_CTX_start(ctx);
            ^
    392.   	if ((aa = BN_CTX_get(ctx)) == NULL) goto err;
    393.   

crypto/bn/bn_ctx.c:108:1: Parameter `ctx->depth`
      106.   	}
      107.   
      108. > void BN_CTX_start(BN_CTX *ctx)
      109.   	{
      110.   	if (ctx->depth < BN_CTX_NUM_POS)

crypto/bn/bn_ctx.c:112:2: Assignment
      110.   	if (ctx->depth < BN_CTX_NUM_POS)
      111.   		ctx->pos[ctx->depth] = ctx->tos;
      112.   	ctx->depth++;
              ^
      113.   	}
      114.   

crypto/bn/bn_exp.c:392:12: Call
    390.   
    391.   	BN_CTX_start(ctx);
    392.   	if ((aa = BN_CTX_get(ctx)) == NULL) goto err;
                      ^
    393.   
    394.   	BN_RECP_CTX_init(&recp);

crypto/bn/bn_ctx.c:115:1: Parameter `ctx->depth`
      113.   	}
      114.   
      115. > BIGNUM *BN_CTX_get(BN_CTX *ctx)
      116.   	{
      117.   	if (ctx->depth > BN_CTX_NUM_POS || ctx->tos >= BN_CTX_NUM)

crypto/bn/bn_exp.c:482:2: Call
    480.   	ret=1;
    481.   err:
    482.   	BN_CTX_end(ctx);
            ^
    483.   	for (i=0; i<ts; i++)
    484.   		BN_clear_free(&(val[i]));

crypto/bn/bn_ctx.c:130:1: <Offset trace>
128.   	}
129.   
130. > void BN_CTX_end(BN_CTX *ctx)
131.   	{
132.   	if (ctx == NULL) return;

crypto/bn/bn_ctx.c:130:1: Parameter `ctx->depth`
      128.   	}
      129.   
      130. > void BN_CTX_end(BN_CTX *ctx)
      131.   	{
      132.   	if (ctx == NULL) return;

crypto/bn/bn_ctx.c:141:2: Assignment
      139.   
      140.   	ctx->too_many = 0;
      141.   	ctx->depth--;
              ^
      142.   	if (ctx->depth < BN_CTX_NUM_POS)
      143.   		ctx->tos = ctx->pos[ctx->depth];

crypto/bn/bn_ctx.c:130:1: <Length trace>
128.   	}
129.   
130. > void BN_CTX_end(BN_CTX *ctx)
131.   	{
132.   	if (ctx == NULL) return;

crypto/bn/bn_ctx.c:130:1: Parameter `ctx->pos[*]`
      128.   	}
      129.   
      130. > void BN_CTX_end(BN_CTX *ctx)
      131.   	{
      132.   	if (ctx == NULL) return;

crypto/bn/bn_ctx.c:143:14: Array access: Offset: [-3, +oo] Size: 12 by call to `BN_mod_exp` 
      141.   	ctx->depth--;
      142.   	if (ctx->depth < BN_CTX_NUM_POS)
      143.   		ctx->tos = ctx->pos[ctx->depth];
                          ^
      144.   	}
