crypto/ec/ec2_smpl.c:355: 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:355:28: Call
353.           goto err;
354.       BN_set_negative(point->Y, 0);
355.       if (!BN_copy(point->Z, BN_value_one()))
                                  ^
356.           goto err;
357.       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:355:10: Call
353.           goto err;
354.       BN_set_negative(point->Y, 0);
355.       if (!BN_copy(point->Z, BN_value_one()))
                ^
356.           goto err;
357.       BN_set_negative(point->Z, 0);

crypto/bn/bn_lib.c:280:1: <Offset trace>
278.   }
279.   
280. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
281.   {
282.       bn_check_top(b);

crypto/bn/bn_lib.c:280:1: Parameter `b->top`
  278.   }
  279.   
  280. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
  281.   {
  282.       bn_check_top(b);

crypto/bn/bn_lib.c:280:1: <Length trace>
278.   }
279.   
280. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
281.   {
282.       bn_check_top(b);

crypto/bn/bn_lib.c:280:1: Parameter `*a->d`
  278.   }
  279.   
  280. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
  281.   {
  282.       bn_check_top(b);

crypto/bn/bn_lib.c:286:9: Call
  284.       if (a == b)
  285.           return a;
  286.       if (bn_wexpand(a, b->top) == NULL)
                 ^
  287.           return NULL;
  288.   

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

crypto/bn/bn_lib.c:290:9: Array access: Offset added: 8 Size: [0, 67108856] by call to `BN_copy` 
  288.   
  289.       if (b->top > 0)
  290.           memcpy(a->d, b->d, sizeof(b->d[0]) * b->top);
                 ^
  291.   
  292.       a->neg = b->neg;

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;
    if (b->top > 0)
        memcpy(a->d, b->d, sizeof(b->d[0]) * b->top);
    a->neg = b->neg;
    a->top = b->top;
    a->flags |= b->flags & BN_FLG_FIXED_TOP;
    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    if (b->top > 0)\n        memcpy(a->d, b->d, sizeof(b->d[0]) * b->top);\n    a->neg = b->neg;\n    a->top = b->top;\n    a->flags |= b->flags & BN_FLG_FIXED_TOP;\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}']