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.   }
