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


crypto/bn/bn_nist.c:689:1: <Length trace>
687.           }
688.   
689. > int BN_nist_mod_256(BIGNUM *r, const BIGNUM *a, const BIGNUM *field,
690.                       BN_CTX *ctx)
691.   {

crypto/bn/bn_nist.c:689:1: Parameter `*a->d`
687.           }
688.   
689. > int BN_nist_mod_256(BIGNUM *r, const BIGNUM *a, const BIGNUM *field,
690.                       BN_CTX *ctx)
691.   {

crypto/bn/bn_nist.c:694:5: Assignment
692.       int i, top = a->top;
693.       int carry = 0;
694.       register BN_ULONG *a_d = a->d, *r_d;
           ^
695.       union {
696.           BN_ULONG bn[BN_NIST_256_TOP];

crypto/bn/bn_nist.c:731:9: Assignment
729.           nist_cp_bn(r_d, a_d, BN_NIST_256_TOP);
730.       } else
731.           r_d = a_d;
               ^
732.   
733.       nist_cp_bn_0(buf.bn, a_d + BN_NIST_256_TOP, top - BN_NIST_256_TOP,

crypto/bn/bn_nist.c:739:9: Assignment
737.       {
738.           NIST_INT64 acc;         /* accumulator */
739.           unsigned int *rp = (unsigned int *)r_d;
               ^
740.           const unsigned int *bp = (const unsigned int *)buf.ui;
741.   

crypto/bn/bn_nist.c:817:16: Array access: Offset: 7 Size: [0, 16777214]
815.           acc >>= 32;
816.   
817.           acc += rp[7];
                      ^
818.           acc += bp[15 - 8];
819.           acc += bp[15 - 8];
