crypto/asn1/tasn_dec.c:912: error: USE_AFTER_FREE
  call to `ASN1_STRING_free()` eventually accesses memory that was invalidated by call to `free()` on line 910 indirectly during the call to `ASN1_STRING_set()`.
Showing all 30 steps of the trace


crypto/asn1/tasn_dec.c:811:19: invalidation part of the trace starts here
809.       if (it->utype == V_ASN1_ANY) {
810.           if (!*pval) {
811.               typ = ASN1_TYPE_new();
                         ^
812.               if (typ == NULL)
813.                   goto err;

crypto/asn1/tasn_dec.c:811:19: passed as argument to `ASN1_TYPE_new`
  809.       if (it->utype == V_ASN1_ANY) {
  810.           if (!*pval) {
  811.               typ = ASN1_TYPE_new();
                           ^
  812.               if (typ == NULL)
  813.                   goto err;

crypto/asn1/tasn_dec.c:811:19: return from call to `ASN1_TYPE_new`
  809.       if (it->utype == V_ASN1_ANY) {
  810.           if (!*pval) {
  811.               typ = ASN1_TYPE_new();
                           ^
  812.               if (typ == NULL)
  813.                   goto err;

crypto/asn1/tasn_dec.c:811:13: assigned
  809.       if (it->utype == V_ASN1_ANY) {
  810.           if (!*pval) {
  811.               typ = ASN1_TYPE_new();
                     ^
  812.               if (typ == NULL)
  813.                   goto err;

crypto/asn1/tasn_dec.c:821:9: assigned
  819.               ASN1_TYPE_set(typ, utype, NULL);
  820.           opval = pval;
  821.           pval = &typ->value.asn1_value;
                 ^
  822.       }
  823.       switch (utype) {

crypto/asn1/tasn_dec.c:900:13: assigned
  898.               *pval = (ASN1_VALUE *)stmp;
  899.           } else {
  900.               stmp = (ASN1_STRING *)*pval;
                     ^
  901.               stmp->type = utype;
  902.           }

crypto/asn1/tasn_dec.c:910:18: when calling `ASN1_STRING_set` here
  908.               *free_cont = 0;
  909.           } else {
  910.               if (!ASN1_STRING_set(stmp, cont, len)) {
                          ^
  911.                   ASN1err(ASN1_F_ASN1_EX_C2I, ERR_R_MALLOC_FAILURE);
  912.                   ASN1_STRING_free(stmp);

crypto/asn1/asn1_lib.c:307:1: parameter `str` of ASN1_STRING_set
    305.   }
    306.   
    307. > int ASN1_STRING_set(ASN1_STRING *str, const void *_data, int len)
    308.   {
    309.       unsigned char *c;

crypto/asn1/asn1_lib.c:319:9: assigned
    317.       }
    318.       if ((str->length < len) || (str->data == NULL)) {
    319.           c = str->data;
                   ^
    320.           str->data = OPENSSL_realloc(c, len + 1);
    321.           if (str->data == NULL) {

crypto/asn1/asn1_lib.c:320:21: when calling `CRYPTO_realloc` here
    318.       if ((str->length < len) || (str->data == NULL)) {
    319.           c = str->data;
    320.           str->data = OPENSSL_realloc(c, len + 1);
                               ^
    321.           if (str->data == NULL) {
    322.               ASN1err(ASN1_F_ASN1_STRING_SET, ERR_R_MALLOC_FAILURE);

crypto/mem.c:165:1: parameter `str` of CRYPTO_realloc
      163.   }
      164.   
      165. > void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)
      166.   {
      167.       if (str == NULL)

crypto/mem.c:171:9: when calling `CRYPTO_free` here
      169.   
      170.       if (num == 0) {
      171.           CRYPTO_free(str);
                     ^
      172.           return NULL;
      173.       }

crypto/mem.c:233:1: parameter `str` of CRYPTO_free
        231.   }
        232.   
        233. > void CRYPTO_free(void *str)
        234.   {
        235.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG

crypto/mem.c:244:5: was invalidated by call to `free()`
        242.       }
        243.   #else
        244.       free(str);
                   ^
        245.   #endif
        246.   }

crypto/asn1/tasn_dec.c:811:19: use-after-lifetime part of the trace starts here
809.       if (it->utype == V_ASN1_ANY) {
810.           if (!*pval) {
811.               typ = ASN1_TYPE_new();
                         ^
812.               if (typ == NULL)
813.                   goto err;

crypto/asn1/tasn_dec.c:811:19: passed as argument to `ASN1_TYPE_new`
  809.       if (it->utype == V_ASN1_ANY) {
  810.           if (!*pval) {
  811.               typ = ASN1_TYPE_new();
                           ^
  812.               if (typ == NULL)
  813.                   goto err;

crypto/asn1/tasn_dec.c:811:19: return from call to `ASN1_TYPE_new`
  809.       if (it->utype == V_ASN1_ANY) {
  810.           if (!*pval) {
  811.               typ = ASN1_TYPE_new();
                           ^
  812.               if (typ == NULL)
  813.                   goto err;

crypto/asn1/tasn_dec.c:811:13: assigned
  809.       if (it->utype == V_ASN1_ANY) {
  810.           if (!*pval) {
  811.               typ = ASN1_TYPE_new();
                     ^
  812.               if (typ == NULL)
  813.                   goto err;

crypto/asn1/tasn_dec.c:821:9: assigned
  819.               ASN1_TYPE_set(typ, utype, NULL);
  820.           opval = pval;
  821.           pval = &typ->value.asn1_value;
                 ^
  822.       }
  823.       switch (utype) {

crypto/asn1/tasn_dec.c:900:13: assigned
  898.               *pval = (ASN1_VALUE *)stmp;
  899.           } else {
  900.               stmp = (ASN1_STRING *)*pval;
                     ^
  901.               stmp->type = utype;
  902.           }

crypto/asn1/tasn_dec.c:910:18: passed as argument to `ASN1_STRING_set`
  908.               *free_cont = 0;
  909.           } else {
  910.               if (!ASN1_STRING_set(stmp, cont, len)) {
                          ^
  911.                   ASN1err(ASN1_F_ASN1_EX_C2I, ERR_R_MALLOC_FAILURE);
  912.                   ASN1_STRING_free(stmp);

crypto/asn1/asn1_lib.c:307:1: parameter `str` of ASN1_STRING_set
    305.   }
    306.   
    307. > int ASN1_STRING_set(ASN1_STRING *str, const void *_data, int len)
    308.   {
    309.       unsigned char *c;

crypto/asn1/asn1_lib.c:319:9: assigned
    317.       }
    318.       if ((str->length < len) || (str->data == NULL)) {
    319.           c = str->data;
                   ^
    320.           str->data = OPENSSL_realloc(c, len + 1);
    321.           if (str->data == NULL) {

crypto/asn1/asn1_lib.c:323:13: assigned
    321.           if (str->data == NULL) {
    322.               ASN1err(ASN1_F_ASN1_STRING_SET, ERR_R_MALLOC_FAILURE);
    323.               str->data = c;
                       ^
    324.               return (0);
    325.           }

crypto/asn1/tasn_dec.c:910:18: return from call to `ASN1_STRING_set`
  908.               *free_cont = 0;
  909.           } else {
  910.               if (!ASN1_STRING_set(stmp, cont, len)) {
                          ^
  911.                   ASN1err(ASN1_F_ASN1_EX_C2I, ERR_R_MALLOC_FAILURE);
  912.                   ASN1_STRING_free(stmp);

crypto/asn1/tasn_dec.c:912:17: when calling `ASN1_STRING_free` here
  910.               if (!ASN1_STRING_set(stmp, cont, len)) {
  911.                   ASN1err(ASN1_F_ASN1_EX_C2I, ERR_R_MALLOC_FAILURE);
  912.                   ASN1_STRING_free(stmp);
                         ^
  913.                   *pval = NULL;
  914.                   goto err;

crypto/asn1/asn1_lib.c:361:1: parameter `a` of ASN1_STRING_free
    359.   }
    360.   
    361. > void ASN1_STRING_free(ASN1_STRING *a)
    362.   {
    363.       if (a == NULL)

crypto/asn1/asn1_lib.c:366:9: when calling `CRYPTO_free` here
    364.           return;
    365.       if (!(a->flags & ASN1_STRING_FLAG_NDEF))
    366.           OPENSSL_free(a->data);
                   ^
    367.       if (!(a->flags & ASN1_STRING_FLAG_EMBED))
    368.           OPENSSL_free(a);

crypto/mem.c:233:1: parameter `str` of CRYPTO_free
      231.   }
      232.   
      233. > void CRYPTO_free(void *str)
      234.   {
      235.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG

crypto/mem.c:244:5: invalid access occurs here
      242.       }
      243.   #else
      244.       free(str);
                 ^
      245.   #endif
      246.   }

void CRYPTO_free(void *str)
{
#ifndef OPENSSL_NO_CRYPTO_MDEBUG
    if (call_malloc_debug) {
        CRYPTO_mem_debug_free(str, 0);
        free(str);
        CRYPTO_mem_debug_free(str, 1);
    } else {
        free(str);
    }
#else
    free(str);
#endif
}
['static int asn1_ex_c2i(ASN1_VALUE **pval, const unsigned char *cont, int len,\n                       int utype, char *free_cont, const ASN1_ITEM *it)\n{\n    ASN1_VALUE **opval = NULL;\n    ASN1_STRING *stmp;\n    ASN1_TYPE *typ = NULL;\n    int ret = 0;\n    const ASN1_PRIMITIVE_FUNCS *pf;\n    ASN1_INTEGER **tint;\n    pf = it->funcs;\n    if (pf && pf->prim_c2i)\n        return pf->prim_c2i(pval, cont, len, utype, free_cont, it);\n    if (it->utype == V_ASN1_ANY) {\n        if (!*pval) {\n            typ = ASN1_TYPE_new();\n            if (typ == NULL)\n                goto err;\n            *pval = (ASN1_VALUE *)typ;\n        } else\n            typ = (ASN1_TYPE *)*pval;\n        if (utype != typ->type)\n            ASN1_TYPE_set(typ, utype, NULL);\n        opval = pval;\n        pval = &typ->value.asn1_value;\n    }\n    switch (utype) {\n    case V_ASN1_OBJECT:\n        if (!c2i_ASN1_OBJECT((ASN1_OBJECT **)pval, &cont, len))\n            goto err;\n        break;\n    case V_ASN1_NULL:\n        if (len) {\n            ASN1err(ASN1_F_ASN1_EX_C2I, ASN1_R_NULL_IS_WRONG_LENGTH);\n            goto err;\n        }\n        *pval = (ASN1_VALUE *)1;\n        break;\n    case V_ASN1_BOOLEAN:\n        if (len != 1) {\n            ASN1err(ASN1_F_ASN1_EX_C2I, ASN1_R_BOOLEAN_IS_WRONG_LENGTH);\n            goto err;\n        } else {\n            ASN1_BOOLEAN *tbool;\n            tbool = (ASN1_BOOLEAN *)pval;\n            *tbool = *cont;\n        }\n        break;\n    case V_ASN1_BIT_STRING:\n        if (!c2i_ASN1_BIT_STRING((ASN1_BIT_STRING **)pval, &cont, len))\n            goto err;\n        break;\n    case V_ASN1_INTEGER:\n    case V_ASN1_NEG_INTEGER:\n    case V_ASN1_ENUMERATED:\n    case V_ASN1_NEG_ENUMERATED:\n        tint = (ASN1_INTEGER **)pval;\n        if (!c2i_ASN1_INTEGER(tint, &cont, len))\n            goto err;\n        (*tint)->type = utype | ((*tint)->type & V_ASN1_NEG);\n        break;\n    case V_ASN1_OCTET_STRING:\n    case V_ASN1_NUMERICSTRING:\n    case V_ASN1_PRINTABLESTRING:\n    case V_ASN1_T61STRING:\n    case V_ASN1_VIDEOTEXSTRING:\n    case V_ASN1_IA5STRING:\n    case V_ASN1_UTCTIME:\n    case V_ASN1_GENERALIZEDTIME:\n    case V_ASN1_GRAPHICSTRING:\n    case V_ASN1_VISIBLESTRING:\n    case V_ASN1_GENERALSTRING:\n    case V_ASN1_UNIVERSALSTRING:\n    case V_ASN1_BMPSTRING:\n    case V_ASN1_UTF8STRING:\n    case V_ASN1_OTHER:\n    case V_ASN1_SET:\n    case V_ASN1_SEQUENCE:\n    default:\n        if (utype == V_ASN1_BMPSTRING && (len & 1)) {\n            ASN1err(ASN1_F_ASN1_EX_C2I, ASN1_R_BMPSTRING_IS_WRONG_LENGTH);\n            goto err;\n        }\n        if (utype == V_ASN1_UNIVERSALSTRING && (len & 3)) {\n            ASN1err(ASN1_F_ASN1_EX_C2I,\n                    ASN1_R_UNIVERSALSTRING_IS_WRONG_LENGTH);\n            goto err;\n        }\n        if (!*pval) {\n            stmp = ASN1_STRING_type_new(utype);\n            if (stmp == NULL) {\n                ASN1err(ASN1_F_ASN1_EX_C2I, ERR_R_MALLOC_FAILURE);\n                goto err;\n            }\n            *pval = (ASN1_VALUE *)stmp;\n        } else {\n            stmp = (ASN1_STRING *)*pval;\n            stmp->type = utype;\n        }\n        if (*free_cont) {\n            OPENSSL_free(stmp->data);\n            stmp->data = (unsigned char *)cont;\n            stmp->length = len;\n            *free_cont = 0;\n        } else {\n            if (!ASN1_STRING_set(stmp, cont, len)) {\n                ASN1err(ASN1_F_ASN1_EX_C2I, ERR_R_MALLOC_FAILURE);\n                ASN1_STRING_free(stmp);\n                *pval = NULL;\n                goto err;\n            }\n        }\n        break;\n    }\n    if (typ && (utype == V_ASN1_NULL))\n        typ->value.ptr = NULL;\n    ret = 1;\n err:\n    if (!ret) {\n        ASN1_TYPE_free(typ);\n        if (opval)\n            *opval = NULL;\n    }\n    return ret;\n}', "int ASN1_STRING_set(ASN1_STRING *str, const void *_data, int len)\n{\n    unsigned char *c;\n    const char *data = _data;\n    if (len < 0) {\n        if (data == NULL)\n            return (0);\n        else\n            len = strlen(data);\n    }\n    if ((str->length < len) || (str->data == NULL)) {\n        c = str->data;\n        str->data = OPENSSL_realloc(c, len + 1);\n        if (str->data == NULL) {\n            ASN1err(ASN1_F_ASN1_STRING_SET, ERR_R_MALLOC_FAILURE);\n            str->data = c;\n            return (0);\n        }\n    }\n    str->length = len;\n    if (data != NULL) {\n        memcpy(str->data, data, len);\n        str->data[len] = '\\0';\n    }\n    return (1);\n}", 'void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)\n{\n    if (str == NULL)\n        return CRYPTO_malloc(num, file, line);\n    if (num == 0) {\n        CRYPTO_free(str);\n        return NULL;\n    }\n    allow_customize = 0;\n#ifndef OPENSSL_NO_CRYPTO_MDEBUG\n    if (call_malloc_debug) {\n        void *ret;\n        CRYPTO_mem_debug_realloc(str, NULL, num, 0, file, line);\n        ret = realloc(str, num);\n        CRYPTO_mem_debug_realloc(str, ret, num, 1, file, line);\n        return ret;\n    }\n#else\n    (void)file;\n    (void)line;\n#endif\n    return realloc(str, num);\n}', 'void CRYPTO_free(void *str)\n{\n#ifndef OPENSSL_NO_CRYPTO_MDEBUG\n    if (call_malloc_debug) {\n        CRYPTO_mem_debug_free(str, 0);\n        free(str);\n        CRYPTO_mem_debug_free(str, 1);\n    } else {\n        free(str);\n    }\n#else\n    free(str);\n#endif\n}', 'void ASN1_STRING_free(ASN1_STRING *a)\n{\n    if (a == NULL)\n        return;\n    if (!(a->flags & ASN1_STRING_FLAG_NDEF))\n        OPENSSL_free(a->data);\n    if (!(a->flags & ASN1_STRING_FLAG_EMBED))\n        OPENSSL_free(a);\n}']