apps/x509.c:994: error: NULL_DEREFERENCE
  pointer `upkey` last assigned on line 993 could be null and is dereferenced by call to `EVP_PKEY_copy_parameters()` at line 994, column 5.
Showing all 9 steps of the trace


apps/x509.c:981:1: start of procedure x509_certify()
979.   }
980.   
981. > static int x509_certify(X509_STORE *ctx, char *CAfile, const EVP_MD *digest,
982.                           X509 *x, X509 *xca, EVP_PKEY *pkey,
983.                           STACK_OF(OPENSSL_STRING) *sigopts,

apps/x509.c:988:5: 
986.                           ASN1_INTEGER *sno, int reqfile)
987.   {
988. >     int ret = 0;
989.       ASN1_INTEGER *bs = NULL;
990.       X509_STORE_CTX xsc;

apps/x509.c:989:5: 
987.   {
988.       int ret = 0;
989. >     ASN1_INTEGER *bs = NULL;
990.       X509_STORE_CTX xsc;
991.       EVP_PKEY *upkey;

apps/x509.c:993:5: 
991.       EVP_PKEY *upkey;
992.   
993. >     upkey = X509_get0_pubkey(xca);
994.       EVP_PKEY_copy_parameters(upkey, pkey);
995.   

crypto/x509/x509_cmp.c:307:1: start of procedure X509_get0_pubkey()
  305.   }
  306.   
  307. > EVP_PKEY *X509_get0_pubkey(X509 *x)
  308.   {
  309.       if (x == NULL)

crypto/x509/x509_cmp.c:309:9: Taking true branch
  307.   EVP_PKEY *X509_get0_pubkey(X509 *x)
  308.   {
  309.       if (x == NULL)
                 ^
  310.           return NULL;
  311.       return X509_PUBKEY_get0(x->cert_info.key);

crypto/x509/x509_cmp.c:310:9: 
  308.   {
  309.       if (x == NULL)
  310. >         return NULL;
  311.       return X509_PUBKEY_get0(x->cert_info.key);
  312.   }

crypto/x509/x509_cmp.c:312:1: return from a call to X509_get0_pubkey
  310.           return NULL;
  311.       return X509_PUBKEY_get0(x->cert_info.key);
  312. > }
  313.   
  314.   EVP_PKEY *X509_get_pubkey(X509 *x)

apps/x509.c:994:5: 
992.   
993.       upkey = X509_get0_pubkey(xca);
994. >     EVP_PKEY_copy_parameters(upkey, pkey);
995.   
996.       if (!X509_STORE_CTX_init(&xsc, ctx, x, NULL)) {
