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


crypto/pkcs12/p12_crt.c:303:18: invalidation part of the trace starts here
301.           return 1;
302.       if (!*pbags) {
303.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                        ^
304.           if (!*pbags)
305.               return 0;

crypto/pkcs12/p12_crt.c:303:18: passed as argument to `sk_PKCS12_SAFEBAG_new_null`
  301.           return 1;
  302.       if (!*pbags) {
  303.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                          ^
  304.           if (!*pbags)
  305.               return 0;

crypto/pkcs12/p12_crt.c:303:18: return from call to `sk_PKCS12_SAFEBAG_new_null`
  301.           return 1;
  302.       if (!*pbags) {
  303.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                          ^
  304.           if (!*pbags)
  305.               return 0;

crypto/pkcs12/p12_crt.c:303:9: assigned
  301.           return 1;
  302.       if (!*pbags) {
  303.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                 ^
  304.           if (!*pbags)
  305.               return 0;

crypto/pkcs12/p12_crt.c:310:10: when calling `sk_PKCS12_SAFEBAG_push` here
  308.           free_bags = 0;
  309.   
  310.       if (!sk_PKCS12_SAFEBAG_push(*pbags, bag)) {
                  ^
  311.           if (free_bags) {
  312.               sk_PKCS12_SAFEBAG_free(*pbags);

include/openssl/pkcs12.h:126:1: parameter `sk` of sk_PKCS12_SAFEBAG_push
    124.   } PKCS12_SAFEBAG;
    125.   
    126. > DEFINE_STACK_OF(PKCS12_SAFEBAG)
    127.   
    128.   typedef struct pkcs12_bag_st {

include/openssl/pkcs12.h:126:1: when calling `sk_push` here
    124.   } PKCS12_SAFEBAG;
    125.   
    126. > DEFINE_STACK_OF(PKCS12_SAFEBAG)
    127.   
    128.   typedef struct pkcs12_bag_st {

crypto/stack/stack.c:259:1: parameter `st` of sk_push
      257.   }
      258.   
      259. > int sk_push(_STACK *st, void *data)
      260.   {
      261.       return (sk_insert(st, data, st->num));

crypto/stack/stack.c:261:13: when calling `sk_insert` here
      259.   int sk_push(_STACK *st, void *data)
      260.   {
      261.       return (sk_insert(st, data, st->num));
                         ^
      262.   }
      263.   

crypto/stack/stack.c:167:1: parameter `st` of sk_insert
        165.   }
        166.   
        167. > int sk_insert(_STACK *st, void *data, int loc)
        168.   {
        169.       char **s;

crypto/stack/stack.c:174:13: when calling `CRYPTO_realloc` here
        172.           return 0;
        173.       if (st->num_alloc <= st->num + 1) {
        174.           s = OPENSSL_realloc((char *)st->data,
                           ^
        175.                               (unsigned int)sizeof(char *) * st->num_alloc * 2);
        176.           if (s == NULL)

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

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

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

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

crypto/pkcs12/p12_crt.c:303:18: use-after-lifetime part of the trace starts here
301.           return 1;
302.       if (!*pbags) {
303.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                        ^
304.           if (!*pbags)
305.               return 0;

crypto/pkcs12/p12_crt.c:303:18: passed as argument to `sk_PKCS12_SAFEBAG_new_null`
  301.           return 1;
  302.       if (!*pbags) {
  303.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                          ^
  304.           if (!*pbags)
  305.               return 0;

crypto/pkcs12/p12_crt.c:303:18: return from call to `sk_PKCS12_SAFEBAG_new_null`
  301.           return 1;
  302.       if (!*pbags) {
  303.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                          ^
  304.           if (!*pbags)
  305.               return 0;

crypto/pkcs12/p12_crt.c:303:9: assigned
  301.           return 1;
  302.       if (!*pbags) {
  303.           *pbags = sk_PKCS12_SAFEBAG_new_null();
                 ^
  304.           if (!*pbags)
  305.               return 0;

crypto/pkcs12/p12_crt.c:312:13: when calling `sk_PKCS12_SAFEBAG_free` here
  310.       if (!sk_PKCS12_SAFEBAG_push(*pbags, bag)) {
  311.           if (free_bags) {
  312.               sk_PKCS12_SAFEBAG_free(*pbags);
                     ^
  313.               *pbags = NULL;
  314.           }

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

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

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 pkcs12_add_bag(STACK_OF(PKCS12_SAFEBAG) **pbags,\n                          PKCS12_SAFEBAG *bag)\n{\n    int free_bags;\n    if (!pbags)\n        return 1;\n    if (!*pbags) {\n        *pbags = sk_PKCS12_SAFEBAG_new_null();\n        if (!*pbags)\n            return 0;\n        free_bags = 1;\n    } else\n        free_bags = 0;\n    if (!sk_PKCS12_SAFEBAG_push(*pbags, bag)) {\n        if (free_bags) {\n            sk_PKCS12_SAFEBAG_free(*pbags);\n            *pbags = NULL;\n        }\n        return 0;\n    }\n    return 1;\n}', 'DEFINE_STACK_OF(PKCS12_SAFEBAG)', 'int sk_push(_STACK *st, void *data)\n{\n    return (sk_insert(st, data, st->num));\n}', 'int sk_insert(_STACK *st, void *data, int loc)\n{\n    char **s;\n    if (st == NULL)\n        return 0;\n    if (st->num_alloc <= st->num + 1) {\n        s = OPENSSL_realloc((char *)st->data,\n                            (unsigned int)sizeof(char *) * st->num_alloc * 2);\n        if (s == NULL)\n            return (0);\n        st->data = s;\n        st->num_alloc *= 2;\n    }\n    if ((loc >= (int)st->num) || (loc < 0))\n        st->data[st->num] = data;\n    else {\n        memmove(&(st->data[loc + 1]),\n                &(st->data[loc]), sizeof(char *) * (st->num - loc));\n        st->data[loc] = data;\n    }\n    st->num++;\n    st->sorted = 0;\n    return (st->num);\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}']