crypto/pkcs12/p12_crt.c:264: error: USE_AFTER_FREE
  call to `sk_PKCS12_SAFEBAG_free()` eventually accesses memory that was invalidated by call to `free()` on line 262 indirectly during the call to `sk_PKCS12_SAFEBAG_push()`.
Showing all 24 steps of the trace


crypto/pkcs12/p12_crt.c:255:18: invalidation part of the trace starts here
253.           return 1;
254.       if (!*pbags) {
255.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                        ^
256.           if (!*pbags)
257.               return 0;

crypto/pkcs12/p12_crt.c:255:18: passed as argument to `sk_PKCS12_SAFEBAG_new_null`
  253.           return 1;
  254.       if (!*pbags) {
  255.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                          ^
  256.           if (!*pbags)
  257.               return 0;

crypto/pkcs12/p12_crt.c:255:18: return from call to `sk_PKCS12_SAFEBAG_new_null`
  253.           return 1;
  254.       if (!*pbags) {
  255.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                          ^
  256.           if (!*pbags)
  257.               return 0;

crypto/pkcs12/p12_crt.c:255:9: assigned
  253.           return 1;
  254.       if (!*pbags) {
  255.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                 ^
  256.           if (!*pbags)
  257.               return 0;

crypto/pkcs12/p12_crt.c:262:10: when calling `sk_PKCS12_SAFEBAG_push` here
  260.           free_bags = 0;
  261.   
  262.       if (!sk_PKCS12_SAFEBAG_push(*pbags, bag)) {
                  ^
  263.           if (free_bags) {
  264.               sk_PKCS12_SAFEBAG_free(*pbags);

include/openssl/pkcs12.h:49:1: parameter `sk` of sk_PKCS12_SAFEBAG_push
    47.   typedef struct PKCS12_SAFEBAG_st PKCS12_SAFEBAG;
    48.   
    49. > DEFINE_STACK_OF(PKCS12_SAFEBAG)
    50.   
    51.   typedef struct pkcs12_bag_st PKCS12_BAGS;

include/openssl/pkcs12.h:49:1: when calling `OPENSSL_sk_push` here
    47.   typedef struct PKCS12_SAFEBAG_st PKCS12_SAFEBAG;
    48.   
    49. > DEFINE_STACK_OF(PKCS12_SAFEBAG)
    50.   
    51.   typedef struct pkcs12_bag_st PKCS12_BAGS;

crypto/stack/stack.c:305:1: parameter `st` of OPENSSL_sk_push
      303.   }
      304.   
      305. > int OPENSSL_sk_push(OPENSSL_STACK *st, const void *data)
      306.   {
      307.       if (st == NULL)

crypto/stack/stack.c:309:12: when calling `OPENSSL_sk_insert` here
      307.       if (st == NULL)
      308.           return -1;
      309.       return OPENSSL_sk_insert(st, data, st->num);
                        ^
      310.   }
      311.   

crypto/stack/stack.c:216:1: parameter `st` of OPENSSL_sk_insert
        214.   }
        215.   
        216. > int OPENSSL_sk_insert(OPENSSL_STACK *st, const void *data, int loc)
        217.   {
        218.       if (st == NULL || st->num == max_nodes)

crypto/stack/stack.c:221:10: when calling `sk_reserve` here
        219.           return 0;
        220.   
        221.       if (!sk_reserve(st, 1, 0))
                        ^
        222.           return 0;
        223.   

crypto/stack/stack.c:160:1: parameter `st` of sk_reserve
          158.   
          159.   /* internal STACK storage allocation */
          160. > static int sk_reserve(OPENSSL_STACK *st, int n, int exact)
          161.   {
          162.       const void **tmpdata;

crypto/stack/stack.c:197:15: when calling `CRYPTO_realloc` here
          195.       }
          196.   
          197.       tmpdata = OPENSSL_realloc((void *)st->data, sizeof(void *) * num_alloc);
                               ^
          198.       if (tmpdata == NULL)
          199.           return 0;

crypto/mem.c:228:1: parameter `str` of CRYPTO_realloc
            226.   }
            227.   
            228. > void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)
            229.   {
            230.       INCREMENT(realloc_count);

crypto/mem.c:239:9: when calling `CRYPTO_free` here
            237.   
            238.       if (num == 0) {
            239.           CRYPTO_free(str, file, line);
                           ^
            240.           return NULL;
            241.       }

crypto/mem.c:286:1: parameter `str` of CRYPTO_free
              284.   }
              285.   
              286. > void CRYPTO_free(void *str, const char *file, int line)
              287.   {
              288.       INCREMENT(free_count);

crypto/mem.c:303:5: was invalidated by call to `free()`
              301.       }
              302.   #else
              303.       free(str);
                         ^
              304.   #endif
              305.   }

crypto/pkcs12/p12_crt.c:255:18: use-after-lifetime part of the trace starts here
253.           return 1;
254.       if (!*pbags) {
255.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                        ^
256.           if (!*pbags)
257.               return 0;

crypto/pkcs12/p12_crt.c:255:18: passed as argument to `sk_PKCS12_SAFEBAG_new_null`
  253.           return 1;
  254.       if (!*pbags) {
  255.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                          ^
  256.           if (!*pbags)
  257.               return 0;

crypto/pkcs12/p12_crt.c:255:18: return from call to `sk_PKCS12_SAFEBAG_new_null`
  253.           return 1;
  254.       if (!*pbags) {
  255.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                          ^
  256.           if (!*pbags)
  257.               return 0;

crypto/pkcs12/p12_crt.c:255:9: assigned
  253.           return 1;
  254.       if (!*pbags) {
  255.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                 ^
  256.           if (!*pbags)
  257.               return 0;

crypto/pkcs12/p12_crt.c:264:13: when calling `sk_PKCS12_SAFEBAG_free` here
  262.       if (!sk_PKCS12_SAFEBAG_push(*pbags, bag)) {
  263.           if (free_bags) {
  264.               sk_PKCS12_SAFEBAG_free(*pbags);
                     ^
  265.               *pbags = NULL;
  266.           }

crypto/mem.c:286:1: parameter `str` of CRYPTO_free
    284.   }
    285.   
    286. > void CRYPTO_free(void *str, const char *file, int line)
    287.   {
    288.       INCREMENT(free_count);

crypto/mem.c:303:5: invalid access occurs here
    301.       }
    302.   #else
    303.       free(str);
               ^
    304.   #endif
    305.   }
