crypto/dsa/dsa_ossl.c:240: error: BUFFER_OVERRUN_L3
  Offset: [-1, +oo] Size: 12 by call to `BN_mod_inverse`.
Showing all 27 steps of the trace


crypto/dsa/dsa_ossl.c:233:11: Call
231.   	int ret = -1;
232.   
233.   	if ((ctx=BN_CTX_new()) == NULL) goto err;
                 ^
234.   	BN_init(&u1);
235.   	BN_init(&u2);

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/dsa/dsa_ossl.c:240:7: Call
238.   	/* Calculate W = inv(S) mod Q
239.   	 * save W in u2 */
240.   	if ((BN_mod_inverse(&u2,sig->s,dsa->q,ctx)) == NULL) goto err;
             ^
241.   
242.   	/* save M in u1 */

crypto/bn/bn_gcd.c:147:1: Parameter `ctx->depth`
  145.   
  146.   /* solves ax == 1 (mod n) */
  147. > BIGNUM *BN_mod_inverse(BIGNUM *in,
  148.   	const BIGNUM *a, const BIGNUM *n, BN_CTX *ctx)
  149.   	{

crypto/bn/bn_gcd.c:157:2: Call
  155.   	bn_check_top(n);
  156.   
  157.   	BN_CTX_start(ctx);
          ^
  158.   	A = BN_CTX_get(ctx);
  159.   	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:158:6: Call
  156.   
  157.   	BN_CTX_start(ctx);
  158.   	A = BN_CTX_get(ctx);
              ^
  159.   	B = BN_CTX_get(ctx);
  160.   	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:159:6: Call
  157.   	BN_CTX_start(ctx);
  158.   	A = BN_CTX_get(ctx);
  159.   	B = BN_CTX_get(ctx);
              ^
  160.   	X = BN_CTX_get(ctx);
  161.   	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:160:6: Call
  158.   	A = BN_CTX_get(ctx);
  159.   	B = BN_CTX_get(ctx);
  160.   	X = BN_CTX_get(ctx);
              ^
  161.   	D = BN_CTX_get(ctx);
  162.   	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:161:6: Call
  159.   	B = BN_CTX_get(ctx);
  160.   	X = BN_CTX_get(ctx);
  161.   	D = BN_CTX_get(ctx);
              ^
  162.   	M = BN_CTX_get(ctx);
  163.   	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:162:6: Call
  160.   	X = BN_CTX_get(ctx);
  161.   	D = BN_CTX_get(ctx);
  162.   	M = BN_CTX_get(ctx);
              ^
  163.   	Y = BN_CTX_get(ctx);
  164.   	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:163:6: Call
  161.   	D = BN_CTX_get(ctx);
  162.   	M = BN_CTX_get(ctx);
  163.   	Y = BN_CTX_get(ctx);
              ^
  164.   	if (Y == NULL) goto err;
  165.   

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

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_mod_inverse` 
    141.   	ctx->depth--;
    142.   	if (ctx->depth < BN_CTX_NUM_POS)
    143.   		ctx->tos = ctx->pos[ctx->depth];
                        ^
    144.   	}
