apps/x509.c:1017: error: MEMORY_LEAK
  memory dynamically allocated by call to `X509_STORE_CTX_new()` at line 966, column 11 is not reachable after line 1017, column 5.
Showing all 63 steps of the trace


apps/x509.c:947:1: start of procedure x509_certify()
945.   }
946.   
947. > static int x509_certify(X509_STORE *ctx, const char *CAfile, const EVP_MD *digest,
948.                           X509 *x, X509 *xca, EVP_PKEY *pkey,
949.                           STACK_OF(OPENSSL_STRING) *sigopts,

apps/x509.c:954:5: 
952.                           ASN1_INTEGER *sno, int reqfile, int preserve_dates)
953.   {
954. >     int ret = 0;
955.       ASN1_INTEGER *bs = NULL;
956.       X509_STORE_CTX *xsc = NULL;

apps/x509.c:955:5: 
953.   {
954.       int ret = 0;
955. >     ASN1_INTEGER *bs = NULL;
956.       X509_STORE_CTX *xsc = NULL;
957.       EVP_PKEY *upkey;

apps/x509.c:956:5: 
954.       int ret = 0;
955.       ASN1_INTEGER *bs = NULL;
956. >     X509_STORE_CTX *xsc = NULL;
957.       EVP_PKEY *upkey;
958.   

apps/x509.c:959:5: 
957.       EVP_PKEY *upkey;
958.   
959. >     upkey = X509_get0_pubkey(xca);
960.       if (upkey == NULL) {
961.           BIO_printf(bio_err, "Error obtaining CA X509 public key\n");

crypto/x509/x509_cmp.c:264:1: start of procedure X509_get0_pubkey()
  262.   }
  263.   
  264. > EVP_PKEY *X509_get0_pubkey(const X509 *x)
  265.   {
  266.       if (x == NULL)

crypto/x509/x509_cmp.c:266:9: Taking false branch
  264.   EVP_PKEY *X509_get0_pubkey(const X509 *x)
  265.   {
  266.       if (x == NULL)
                 ^
  267.           return NULL;
  268.       return X509_PUBKEY_get0(x->cert_info.key);

crypto/x509/x509_cmp.c:268:5: 
  266.       if (x == NULL)
  267.           return NULL;
  268. >     return X509_PUBKEY_get0(x->cert_info.key);
  269.   }
  270.   

crypto/x509/x_pubkey.c:140:1: start of procedure X509_PUBKEY_get0()
    138.   }
    139.   
    140. > EVP_PKEY *X509_PUBKEY_get0(X509_PUBKEY *key)
    141.   {
    142.       EVP_PKEY *ret = NULL;

crypto/x509/x_pubkey.c:142:5: 
    140.   EVP_PKEY *X509_PUBKEY_get0(X509_PUBKEY *key)
    141.   {
    142. >     EVP_PKEY *ret = NULL;
    143.   
    144.       if (key == NULL || key->public_key == NULL)

crypto/x509/x_pubkey.c:144:9: Taking false branch
    142.       EVP_PKEY *ret = NULL;
    143.   
    144.       if (key == NULL || key->public_key == NULL)
                   ^
    145.           return NULL;
    146.   

crypto/x509/x_pubkey.c:144:24: Taking false branch
    142.       EVP_PKEY *ret = NULL;
    143.   
    144.       if (key == NULL || key->public_key == NULL)
                                  ^
    145.           return NULL;
    146.   

crypto/x509/x_pubkey.c:147:9: Taking true branch
    145.           return NULL;
    146.   
    147.       if (key->pkey != NULL)
                   ^
    148.           return key->pkey;
    149.   

crypto/x509/x_pubkey.c:148:9: 
    146.   
    147.       if (key->pkey != NULL)
    148. >         return key->pkey;
    149.   
    150.       /*

crypto/x509/x_pubkey.c:166:1: return from a call to X509_PUBKEY_get0
    164.   
    165.       return NULL;
    166. > }
    167.   
    168.   EVP_PKEY *X509_PUBKEY_get(X509_PUBKEY *key)

crypto/x509/x509_cmp.c:269:1: return from a call to X509_get0_pubkey
  267.           return NULL;
  268.       return X509_PUBKEY_get0(x->cert_info.key);
  269. > }
  270.   
  271.   EVP_PKEY *X509_get_pubkey(X509 *x)

apps/x509.c:960:9: Taking false branch
958.   
959.       upkey = X509_get0_pubkey(xca);
960.       if (upkey == NULL) {
               ^
961.           BIO_printf(bio_err, "Error obtaining CA X509 public key\n");
962.           goto end;

apps/x509.c:964:5: 
962.           goto end;
963.       }
964. >     EVP_PKEY_copy_parameters(upkey, pkey);
965.   
966.       xsc = X509_STORE_CTX_new();

crypto/evp/p_lib.c:74:1: start of procedure EVP_PKEY_copy_parameters()
  72.   }
  73.   
  74. > int EVP_PKEY_copy_parameters(EVP_PKEY *to, const EVP_PKEY *from)
  75.   {
  76.       if (to->type == EVP_PKEY_NONE) {

crypto/evp/p_lib.c:76:9: Taking false branch
  74.   int EVP_PKEY_copy_parameters(EVP_PKEY *to, const EVP_PKEY *from)
  75.   {
  76.       if (to->type == EVP_PKEY_NONE) {
                ^
  77.           if (EVP_PKEY_set_type(to, from->type) == 0)
  78.               return 0;

crypto/evp/p_lib.c:79:16: Taking true branch
  77.           if (EVP_PKEY_set_type(to, from->type) == 0)
  78.               return 0;
  79.       } else if (to->type != from->type) {
                       ^
  80.           EVPerr(EVP_F_EVP_PKEY_COPY_PARAMETERS, EVP_R_DIFFERENT_KEY_TYPES);
  81.           goto err;

crypto/evp/p_lib.c:80:9: Skipping ERR_put_error(): empty list of specs
  78.               return 0;
  79.       } else if (to->type != from->type) {
  80.           EVPerr(EVP_F_EVP_PKEY_COPY_PARAMETERS, EVP_R_DIFFERENT_KEY_TYPES);
                ^
  81.           goto err;
  82.       }

crypto/evp/p_lib.c:98:2: 
  96.       if (from->ameth && from->ameth->param_copy)
  97.           return from->ameth->param_copy(to, from);
  98. >  err:
  99.       return 0;
  100.   }

crypto/evp/p_lib.c:99:5: 
  97.           return from->ameth->param_copy(to, from);
  98.    err:
  99. >     return 0;
  100.   }
  101.   

crypto/evp/p_lib.c:100:1: return from a call to EVP_PKEY_copy_parameters
  98.    err:
  99.       return 0;
  100. > }
  101.   
  102.   int EVP_PKEY_missing_parameters(const EVP_PKEY *pkey)

apps/x509.c:966:5: 
964.       EVP_PKEY_copy_parameters(upkey, pkey);
965.   
966. >     xsc = X509_STORE_CTX_new();
967.       if (xsc == NULL || !X509_STORE_CTX_init(xsc, ctx, x, NULL)) {
968.           BIO_printf(bio_err, "Error initialising X509 store\n");

crypto/x509/x509_vfy.c:2151:1: start of procedure X509_STORE_CTX_new()
  2149.   }
  2150.   
  2151. > X509_STORE_CTX *X509_STORE_CTX_new(void)
  2152.   {
  2153.       X509_STORE_CTX *ctx = OPENSSL_zalloc(sizeof(*ctx));

crypto/x509/x509_vfy.c:2153:5: 
  2151.   X509_STORE_CTX *X509_STORE_CTX_new(void)
  2152.   {
  2153. >     X509_STORE_CTX *ctx = OPENSSL_zalloc(sizeof(*ctx));
  2154.   
  2155.       if (ctx == NULL) {

crypto/mem.c:198:1: start of procedure CRYPTO_zalloc()
    196.   }
    197.   
    198. > void *CRYPTO_zalloc(size_t num, const char *file, int line)
    199.   {
    200.       void *ret = CRYPTO_malloc(num, file, line);

crypto/mem.c:200:5: 
    198.   void *CRYPTO_zalloc(size_t num, const char *file, int line)
    199.   {
    200. >     void *ret = CRYPTO_malloc(num, file, line);
    201.   
    202.       FAILTEST();

crypto/mem.c:170:1: start of procedure CRYPTO_malloc()
      168.   #endif
      169.   
      170. > void *CRYPTO_malloc(size_t num, const char *file, int line)
      171.   {
      172.       void *ret = NULL;

crypto/mem.c:172:5: 
      170.   void *CRYPTO_malloc(size_t num, const char *file, int line)
      171.   {
      172. >     void *ret = NULL;
      173.   
      174.       if (malloc_impl != NULL && malloc_impl != CRYPTO_malloc)

crypto/mem.c:174:9: Taking false branch
      172.       void *ret = NULL;
      173.   
      174.       if (malloc_impl != NULL && malloc_impl != CRYPTO_malloc)
                     ^
      175.           return malloc_impl(num, file, line);
      176.   

crypto/mem.c:177:9: Taking false branch
      175.           return malloc_impl(num, file, line);
      176.   
      177.       if (num == 0)
                     ^
      178.           return NULL;
      179.   

crypto/mem.c:181:5: 
      179.   
      180.       FAILTEST();
      181. >     allow_customize = 0;
      182.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG
      183.       if (call_malloc_debug) {

crypto/mem.c:191:5: 
      189.       }
      190.   #else
      191. >     (void)(file); (void)(line);
      192.       ret = malloc(num);
      193.   #endif

crypto/mem.c:191:19: 
      189.       }
      190.   #else
      191. >     (void)(file); (void)(line);
      192.       ret = malloc(num);
      193.   #endif

crypto/mem.c:192:5: 
      190.   #else
      191.       (void)(file); (void)(line);
      192. >     ret = malloc(num);
      193.   #endif
      194.   

crypto/mem.c:195:5: 
      193.   #endif
      194.   
      195. >     return ret;
      196.   }
      197.   

crypto/mem.c:196:1: return from a call to CRYPTO_malloc
      194.   
      195.       return ret;
      196. > }
      197.   
      198.   void *CRYPTO_zalloc(size_t num, const char *file, int line)

crypto/mem.c:203:9: Taking true branch
    201.   
    202.       FAILTEST();
    203.       if (ret != NULL)
                   ^
    204.           memset(ret, 0, num);
    205.       return ret;

crypto/mem.c:204:9: 
    202.       FAILTEST();
    203.       if (ret != NULL)
    204. >         memset(ret, 0, num);
    205.       return ret;
    206.   }

crypto/mem.c:205:5: 
    203.       if (ret != NULL)
    204.           memset(ret, 0, num);
    205. >     return ret;
    206.   }
    207.   

crypto/mem.c:206:1: return from a call to CRYPTO_zalloc
    204.           memset(ret, 0, num);
    205.       return ret;
    206. > }
    207.   
    208.   void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)

crypto/x509/x509_vfy.c:2155:9: Taking false branch
  2153.       X509_STORE_CTX *ctx = OPENSSL_zalloc(sizeof(*ctx));
  2154.   
  2155.       if (ctx == NULL) {
                  ^
  2156.           X509err(X509_F_X509_STORE_CTX_NEW, ERR_R_MALLOC_FAILURE);
  2157.           return NULL;

crypto/x509/x509_vfy.c:2159:5: 
  2157.           return NULL;
  2158.       }
  2159. >     return ctx;
  2160.   }
  2161.   

crypto/x509/x509_vfy.c:2160:1: return from a call to X509_STORE_CTX_new
  2158.       }
  2159.       return ctx;
  2160. > }
  2161.   
  2162.   void X509_STORE_CTX_free(X509_STORE_CTX *ctx)

apps/x509.c:967:9: Taking false branch
965.   
966.       xsc = X509_STORE_CTX_new();
967.       if (xsc == NULL || !X509_STORE_CTX_init(xsc, ctx, x, NULL)) {
               ^
968.           BIO_printf(bio_err, "Error initialising X509 store\n");
969.           goto end;

apps/x509.c:967:25: Taking true branch
965.   
966.       xsc = X509_STORE_CTX_new();
967.       if (xsc == NULL || !X509_STORE_CTX_init(xsc, ctx, x, NULL)) {
                               ^
968.           BIO_printf(bio_err, "Error initialising X509 store\n");
969.           goto end;

apps/x509.c:968:9: Skipping BIO_printf(): empty list of specs
966.       xsc = X509_STORE_CTX_new();
967.       if (xsc == NULL || !X509_STORE_CTX_init(xsc, ctx, x, NULL)) {
968.           BIO_printf(bio_err, "Error initialising X509 store\n");
               ^
969.           goto end;
970.       }

apps/x509.c:1016:2: 
1014.           goto end;
1015.       ret = 1;
1016. >  end:
1017.       X509_STORE_CTX_free(xsc);
1018.       if (!ret)

apps/x509.c:1017:5: 
1015.       ret = 1;
1016.    end:
1017. >     X509_STORE_CTX_free(xsc);
1018.       if (!ret)
1019.           ERR_print_errors(bio_err);

crypto/x509/x509_vfy.c:2162:1: start of procedure X509_STORE_CTX_free()
  2160.   }
  2161.   
  2162. > void X509_STORE_CTX_free(X509_STORE_CTX *ctx)
  2163.   {
  2164.       if (ctx == NULL)

crypto/x509/x509_vfy.c:2164:9: Taking false branch
  2162.   void X509_STORE_CTX_free(X509_STORE_CTX *ctx)
  2163.   {
  2164.       if (ctx == NULL)
                  ^
  2165.           return;
  2166.   

crypto/x509/x509_vfy.c:2167:5: Skipping X509_STORE_CTX_cleanup(): empty list of specs
  2165.           return;
  2166.   
  2167.       X509_STORE_CTX_cleanup(ctx);
              ^
  2168.       OPENSSL_free(ctx);
  2169.   }

crypto/x509/x509_vfy.c:2168:5: 
  2166.   
  2167.       X509_STORE_CTX_cleanup(ctx);
  2168. >     OPENSSL_free(ctx);
  2169.   }
  2170.   

crypto/mem.c:265:1: start of procedure CRYPTO_free()
    263.   }
    264.   
    265. > void CRYPTO_free(void *str, const char *file, int line)
    266.   {
    267.       if (free_impl != NULL && free_impl != &CRYPTO_free) {

crypto/mem.c:267:9: Taking true branch
    265.   void CRYPTO_free(void *str, const char *file, int line)
    266.   {
    267.       if (free_impl != NULL && free_impl != &CRYPTO_free) {
                   ^
    268.           free_impl(str, file, line);
    269.           return;

crypto/mem.c:267:30: Taking true branch
    265.   void CRYPTO_free(void *str, const char *file, int line)
    266.   {
    267.       if (free_impl != NULL && free_impl != &CRYPTO_free) {
                                        ^
    268.           free_impl(str, file, line);
    269.           return;

crypto/mem.c:268:9: Skipping __function_pointer__(): unresolved function pointer
    266.   {
    267.       if (free_impl != NULL && free_impl != &CRYPTO_free) {
    268.           free_impl(str, file, line);
                   ^
    269.           return;
    270.       }

crypto/mem.c:269:9: 
    267.       if (free_impl != NULL && free_impl != &CRYPTO_free) {
    268.           free_impl(str, file, line);
    269. >         return;
    270.       }
    271.   

crypto/mem.c:283:1: return from a call to CRYPTO_free
    281.       free(str);
    282.   #endif
    283. > }
    284.   
    285.   void CRYPTO_clear_free(void *str, size_t num, const char *file, int line)

crypto/x509/x509_vfy.c:2169:1: return from a call to X509_STORE_CTX_free
  2167.       X509_STORE_CTX_cleanup(ctx);
  2168.       OPENSSL_free(ctx);
  2169. > }
  2170.   
  2171.   int X509_STORE_CTX_init(X509_STORE_CTX *ctx, X509_STORE *store, X509 *x509,
