crypto/rsa/rsa_eay.c:142: error: BUFFER_OVERRUN_L3
  Offset: [-1, +oo] Size: 12 by call to `BN_MONT_CTX_set`.
Showing all 29 steps of the trace


crypto/rsa/rsa_eay.c:107:11: Call
105.   	BN_init(&f);
106.   	BN_init(&ret);
107.   	if ((ctx=BN_CTX_new()) == NULL) goto err;
                 ^
108.   	num=BN_num_bytes(rsa->n);
109.   	if ((buf=(unsigned char *)Malloc(num)) == NULL)

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/rsa/rsa_eay.c:142:9: Call
140.   		{
141.   		if ((rsa->_method_mod_n=BN_MONT_CTX_new()) != NULL)
142.   			if (!BN_MONT_CTX_set(rsa->_method_mod_n,rsa->n,ctx))
               ^
143.   			    goto err;
144.   		}

crypto/bn/bn_mont.c:265:1: Parameter `ctx->depth`
  263.   	}
  264.   
  265. > int BN_MONT_CTX_set(BN_MONT_CTX *mont, const BIGNUM *mod, BN_CTX *ctx)
  266.   	{
  267.   	BIGNUM Ri,*R;

crypto/bn/bn_mont.c:289:8: Call
  287.   		tmod.neg=mod->neg;
  288.   							/* Ri = R^-1 mod N*/
  289.   		if ((BN_mod_inverse(&Ri,R,&tmod,ctx)) == NULL)
                ^
  290.   			goto err;
  291.   		BN_lshift(&Ri,&Ri,BN_BITS2);		/* R*Ri */

crypto/bn/bn_gcd.c:147:1: Parameter `ctx->depth`
    145.   
    146.   /* solves ax == 1 (mod n) */
    147. > BIGNUM *BN_mod_inverse(BIGNUM *in, BIGNUM *a, const BIGNUM *n, BN_CTX *ctx)
    148.   	{
    149.   	BIGNUM *A,*B,*X,*Y,*M,*D,*R=NULL;

crypto/bn/bn_gcd.c:156:2: Call
    154.   	bn_check_top(n);
    155.   
    156.   	BN_CTX_start(ctx);
            ^
    157.   	A = BN_CTX_get(ctx);
    158.   	B = BN_CTX_get(ctx);

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_gcd.c:157:6: Call
    155.   
    156.   	BN_CTX_start(ctx);
    157.   	A = BN_CTX_get(ctx);
                ^
    158.   	B = BN_CTX_get(ctx);
    159.   	X = BN_CTX_get(ctx);

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_gcd.c:158:6: Call
    156.   	BN_CTX_start(ctx);
    157.   	A = BN_CTX_get(ctx);
    158.   	B = BN_CTX_get(ctx);
                ^
    159.   	X = BN_CTX_get(ctx);
    160.   	D = BN_CTX_get(ctx);

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_gcd.c:159:6: Call
    157.   	A = BN_CTX_get(ctx);
    158.   	B = BN_CTX_get(ctx);
    159.   	X = BN_CTX_get(ctx);
                ^
    160.   	D = BN_CTX_get(ctx);
    161.   	M = BN_CTX_get(ctx);

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_gcd.c:160:6: Call
    158.   	B = BN_CTX_get(ctx);
    159.   	X = BN_CTX_get(ctx);
    160.   	D = BN_CTX_get(ctx);
                ^
    161.   	M = BN_CTX_get(ctx);
    162.   	Y = BN_CTX_get(ctx);

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_gcd.c:161:6: Call
    159.   	X = BN_CTX_get(ctx);
    160.   	D = BN_CTX_get(ctx);
    161.   	M = BN_CTX_get(ctx);
                ^
    162.   	Y = BN_CTX_get(ctx);
    163.   	if (Y == NULL) goto err;

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_gcd.c:162:6: Call
    160.   	D = BN_CTX_get(ctx);
    161.   	M = BN_CTX_get(ctx);
    162.   	Y = BN_CTX_get(ctx);
                ^
    163.   	if (Y == NULL) goto err;
    164.   

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_gcd.c:207:2: Call
    205.   err:
    206.   	if ((ret == NULL) && (in == NULL)) BN_free(R);
    207.   	BN_CTX_end(ctx);
            ^
    208.   	return(ret);
    209.   	}

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: [-1, +oo] Size: 12 by call to `BN_MONT_CTX_set` 
      141.   	ctx->depth--;
      142.   	if (ctx->depth < BN_CTX_NUM_POS)
      143.   		ctx->tos = ctx->pos[ctx->depth];
                          ^
      144.   	}
