crypto/bn/bn_nist.c:1094: error: BUFFER_OVERRUN_L3
  Offset: 11 Size: [0, 16777214].
Showing all 6 steps of the trace


crypto/bn/bn_nist.c:935:1: <Length trace>
933.           }
934.   
935. > int BN_nist_mod_384(BIGNUM *r, const BIGNUM *a, const BIGNUM *field,
936.                       BN_CTX *ctx)
937.   {

crypto/bn/bn_nist.c:935:1: Parameter `*a->d`
933.           }
934.   
935. > int BN_nist_mod_384(BIGNUM *r, const BIGNUM *a, const BIGNUM *field,
936.                       BN_CTX *ctx)
937.   {

crypto/bn/bn_nist.c:940:5: Assignment
938.       int i, top = a->top;
939.       int carry = 0;
940.       register BN_ULONG *r_d, *a_d = a->d;
           ^
941.       union {
942.           BN_ULONG bn[BN_NIST_384_TOP];

crypto/bn/bn_nist.c:977:9: Assignment
975.           nist_cp_bn(r_d, a_d, BN_NIST_384_TOP);
976.       } else
977.           r_d = a_d;
               ^
978.   
979.       nist_cp_bn_0(buf.bn, a_d + BN_NIST_384_TOP, top - BN_NIST_384_TOP,

crypto/bn/bn_nist.c:985:9: Assignment
983.       {
984.           NIST_INT64 acc;         /* accumulator */
985.           unsigned int *rp = (unsigned int *)r_d;
               ^
986.           const unsigned int *bp = (const unsigned int *)buf.ui;
987.   

crypto/bn/bn_nist.c:1094:16: Array access: Offset: 11 Size: [0, 16777214]
1092.           acc >>= 32;
1093.   
1094.           acc += rp[11];
                       ^
1095.           acc += bp[23 - 12];
1096.           acc += bp[20 - 12];
