crypto/ec/ec2_smpl.c:371: error: BUFFER_OVERRUN_L3
  Offset added: 8 Size: [0, 67108856] by call to `BN_copy`.
Showing all 10 steps of the trace


crypto/ec/ec2_smpl.c:371:28: Call
369.           goto err;
370.       BN_set_negative(point->Y, 0);
371.       if (!BN_copy(point->Z, BN_value_one()))
                                  ^
372.           goto err;
373.       BN_set_negative(point->Z, 0);

crypto/bn/bn_lib.c:84:9: Assignment
  82.       static const BN_ULONG data_one = 1L;
  83.       static const BIGNUM const_one =
  84.           { (BN_ULONG *)&data_one, 1, 1, 0, BN_FLG_STATIC_DATA };
                ^
  85.   
  86.       return (&const_one);

crypto/ec/ec2_smpl.c:371:10: Call
369.           goto err;
370.       BN_set_negative(point->Y, 0);
371.       if (!BN_copy(point->Z, BN_value_one()))
                ^
372.           goto err;
373.       BN_set_negative(point->Z, 0);

crypto/bn/bn_lib.c:322:1: <Offset trace>
320.   }
321.   
322. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
323.   {
324.       bn_check_top(b);

crypto/bn/bn_lib.c:322:1: Parameter `b->top`
  320.   }
  321.   
  322. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
  323.   {
  324.       bn_check_top(b);

crypto/bn/bn_lib.c:322:1: <Length trace>
320.   }
321.   
322. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
323.   {
324.       bn_check_top(b);

crypto/bn/bn_lib.c:322:1: Parameter `*a->d`
  320.   }
  321.   
  322. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
  323.   {
  324.       bn_check_top(b);

crypto/bn/bn_lib.c:328:9: Call
  326.       if (a == b)
  327.           return a;
  328.       if (bn_wexpand(a, b->top) == NULL)
                 ^
  329.           return NULL;
  330.   

crypto/bn/bn_lib.c:946:1: Parameter `*a->d`
    944.   }
    945.   
    946. > BIGNUM *bn_wexpand(BIGNUM *a, int words)
    947.   {
    948.       return (words <= a->dmax) ? a : bn_expand2(a, words);

crypto/bn/bn_lib.c:331:5: Array access: Offset added: 8 Size: [0, 67108856] by call to `BN_copy` 
  329.           return NULL;
  330.   
  331.       memcpy(a->d, b->d, sizeof(b->d[0]) * b->top);
             ^
  332.   
  333.       a->top = b->top;

BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
{
    bn_check_top(b);
    if (a == b)
        return a;
    if (bn_wexpand(a, b->top) == NULL)
        return NULL;
    memcpy(a->d, b->d, sizeof(b->d[0]) * b->top);
    a->top = b->top;
    a->neg = b->neg;
    bn_check_top(a);
    return a;
}
['int ec_GF2m_simple_point_set_affine_coordinates(const EC_GROUP *group,\n                                                EC_POINT *point,\n                                                const BIGNUM *x,\n                                                const BIGNUM *y, BN_CTX *ctx)\n{\n    int ret = 0;\n    if (x == NULL || y == NULL) {\n        ECerr(EC_F_EC_GF2M_SIMPLE_POINT_SET_AFFINE_COORDINATES,\n              ERR_R_PASSED_NULL_PARAMETER);\n        return 0;\n    }\n    if (!BN_copy(point->X, x))\n        goto err;\n    BN_set_negative(point->X, 0);\n    if (!BN_copy(point->Y, y))\n        goto err;\n    BN_set_negative(point->Y, 0);\n    if (!BN_copy(point->Z, BN_value_one()))\n        goto err;\n    BN_set_negative(point->Z, 0);\n    point->Z_is_one = 1;\n    ret = 1;\n err:\n    return ret;\n}', 'const BIGNUM *BN_value_one(void)\n{\n    static const BN_ULONG data_one = 1L;\n    static const BIGNUM const_one =\n        { (BN_ULONG *)&data_one, 1, 1, 0, BN_FLG_STATIC_DATA };\n    return (&const_one);\n}', 'BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)\n{\n    bn_check_top(b);\n    if (a == b)\n        return a;\n    if (bn_wexpand(a, b->top) == NULL)\n        return NULL;\n    memcpy(a->d, b->d, sizeof(b->d[0]) * b->top);\n    a->top = b->top;\n    a->neg = b->neg;\n    bn_check_top(a);\n    return a;\n}', 'BIGNUM *bn_wexpand(BIGNUM *a, int words)\n{\n    return (words <= a->dmax) ? a : bn_expand2(a, words);\n}']