crypto/ec/ec_lib.c:936: error: BUFFER_OVERRUN_L3
  Offset: [1, 2] Size: [1, +oo] by call to `EC_POINTs_mul`.
Showing all 13 steps of the trace


crypto/ec/ec_lib.c:937:27: Assignment
935.   
936.       return EC_POINTs_mul(group, r, g_scalar,
937.                            (point != NULL
                                 ^
938.                             && p_scalar != NULL), points, scalars, ctx);
939.   }

crypto/ec/ec_lib.c:936:12: Call
934.       scalars[0] = p_scalar;
935.   
936.       return EC_POINTs_mul(group, r, g_scalar,
                  ^
937.                            (point != NULL
938.                             && p_scalar != NULL), points, scalars, ctx);

crypto/ec/ec_lib.c:914:1: Parameter `num`
  912.    */
  913.   
  914. > int EC_POINTs_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar,
  915.                     size_t num, const EC_POINT *points[],
  916.                     const BIGNUM *scalars[], BN_CTX *ctx)

crypto/ec/ec_lib.c:920:16: Call
  918.       if (group->meth->mul == 0)
  919.           /* use default */
  920.           return ec_wNAF_mul(group, r, scalar, num, points, scalars, ctx);
                        ^
  921.   
  922.       return group->meth->mul(group, r, scalar, num, points, scalars, ctx);

crypto/ec/ec_mult.c:125:1: <Offset trace>
123.    * in the addition if scalar != NULL
124.    */
125. > int ec_wNAF_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar,
126.                   size_t num, const EC_POINT *points[], const BIGNUM *scalars[],
127.                   BN_CTX *ctx)

crypto/ec/ec_mult.c:125:1: Parameter `num`
    123.    * in the addition if scalar != NULL
    124.    */
    125. > int ec_wNAF_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar,
    126.                   size_t num, const EC_POINT *points[], const BIGNUM *scalars[],
    127.                   BN_CTX *ctx)

crypto/ec/ec_mult.c:125:1: <Length trace>
123.    * in the addition if scalar != NULL
124.    */
125. > int ec_wNAF_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar,
126.                   size_t num, const EC_POINT *points[], const BIGNUM *scalars[],
127.                   BN_CTX *ctx)

crypto/ec/ec_mult.c:125:1: Parameter `num`
    123.    * in the addition if scalar != NULL
    124.    */
    125. > int ec_wNAF_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar,
    126.                   size_t num, const EC_POINT *points[], const BIGNUM *scalars[],
    127.                   BN_CTX *ctx)

crypto/ec/ec_mult.c:219:5: Assignment
    217.       }
    218.   
    219.       totalnum = num + numblocks;
               ^
    220.   
    221.       wsize = OPENSSL_malloc(totalnum * sizeof wsize[0]);

crypto/ec/ec_mult.c:223:12: Call
    221.       wsize = OPENSSL_malloc(totalnum * sizeof wsize[0]);
    222.       wNAF_len = OPENSSL_malloc(totalnum * sizeof wNAF_len[0]);
    223.       wNAF = OPENSSL_malloc((totalnum + 1) * sizeof wNAF[0]); /* includes space
                      ^
    224.                                                                * for pivot */
    225.       val_sub = OPENSSL_malloc(totalnum * sizeof val_sub[0]);

crypto/mem.c:165:9: Assignment
      163.   
      164.       if (num <= 0)
      165.           return NULL;
                     ^
      166.   
      167.       FAILTEST();

crypto/ec/ec_mult.c:223:5: Assignment
    221.       wsize = OPENSSL_malloc(totalnum * sizeof wsize[0]);
    222.       wNAF_len = OPENSSL_malloc(totalnum * sizeof wNAF_len[0]);
    223.       wNAF = OPENSSL_malloc((totalnum + 1) * sizeof wNAF[0]); /* includes space
               ^
    224.                                                                * for pivot */
    225.       val_sub = OPENSSL_malloc(totalnum * sizeof val_sub[0]);

crypto/ec/ec_mult.c:247:9: Array access: Offset: [1, 2] Size: [1, +oo] by call to `EC_POINTs_mul` 
    245.           wsize[i] = EC_window_bits_for_scalar_size(bits);
    246.           num_val += (size_t)1 << (wsize[i] - 1);
    247.           wNAF[i + 1] = NULL;     /* make sure we always have a pivot */
                   ^
    248.           wNAF[i] =
    249.               bn_compute_wNAF((i < num ? scalars[i] : scalar), wsize[i],
