ssl/s3_srvr.c:3094: error: NULL_DEREFERENCE
  pointer `pkey` last assigned on line 3046 could be null and is dereferenced at line 3094, column 16.
Showing all 27 steps of the trace


ssl/s3_srvr.c:3022:1: start of procedure ssl3_get_cert_verify()
3020.   	}
3021.   
3022. > int ssl3_get_cert_verify(SSL *s)
3023.   	{
3024.   	EVP_PKEY *pkey=NULL;

ssl/s3_srvr.c:3024:2: 
3022.   int ssl3_get_cert_verify(SSL *s)
3023.   	{
3024. > 	EVP_PKEY *pkey=NULL;
3025.   	unsigned char *p;
3026.   	int al,ok,ret=0;

ssl/s3_srvr.c:3026:2: 
3024.   	EVP_PKEY *pkey=NULL;
3025.   	unsigned char *p;
3026. > 	int al,ok,ret=0;
3027.   	long n;
3028.   	int type=0,i,j;

ssl/s3_srvr.c:3028:2: 
3026.   	int al,ok,ret=0;
3027.   	long n;
3028. > 	int type=0,i,j;
3029.   	X509 *peer;
3030.   	const EVP_MD *md = NULL;

ssl/s3_srvr.c:3030:2: 
3028.   	int type=0,i,j;
3029.   	X509 *peer;
3030. > 	const EVP_MD *md = NULL;
3031.   	EVP_MD_CTX mctx;
3032.   	EVP_MD_CTX_init(&mctx);

ssl/s3_srvr.c:3032:2: 
3030.   	const EVP_MD *md = NULL;
3031.   	EVP_MD_CTX mctx;
3032. > 	EVP_MD_CTX_init(&mctx);
3033.   
3034.   	n=s->method->ssl_get_message(s,

crypto/evp/digest.c:120:1: start of procedure EVP_MD_CTX_init()
  118.   #endif
  119.   
  120. > void EVP_MD_CTX_init(EVP_MD_CTX *ctx)
  121.   	{
  122.   	memset(ctx,'\0',sizeof *ctx);

crypto/evp/digest.c:122:2: 
  120.   void EVP_MD_CTX_init(EVP_MD_CTX *ctx)
  121.   	{
  122. > 	memset(ctx,'\0',sizeof *ctx);
  123.   	}
  124.   

crypto/evp/digest.c:123:2: return from a call to EVP_MD_CTX_init
  121.   	{
  122.   	memset(ctx,'\0',sizeof *ctx);
  123.   	}
          ^
  124.   
  125.   EVP_MD_CTX *EVP_MD_CTX_create(void)

ssl/s3_srvr.c:3034:2: Skipping __function_pointer__(): unresolved function pointer
3032.   	EVP_MD_CTX_init(&mctx);
3033.   
3034.   	n=s->method->ssl_get_message(s,
         ^
3035.   		SSL3_ST_SR_CERT_VRFY_A,
3036.   		SSL3_ST_SR_CERT_VRFY_B,

ssl/s3_srvr.c:3041:7: Taking false branch
3039.   		&ok);
3040.   
3041.   	if (!ok) return((int)n);
              ^
3042.   
3043.   	if (s->session->peer != NULL)

ssl/s3_srvr.c:3043:6: Taking true branch
3041.   	if (!ok) return((int)n);
3042.   
3043.   	if (s->session->peer != NULL)
             ^
3044.   		{
3045.   		peer=s->session->peer;

ssl/s3_srvr.c:3045:3: 
3043.   	if (s->session->peer != NULL)
3044.   		{
3045. > 		peer=s->session->peer;
3046.   		pkey=X509_get_pubkey(peer);
3047.   		type=X509_certificate_type(peer,pkey);

ssl/s3_srvr.c:3046:3: 
3044.   		{
3045.   		peer=s->session->peer;
3046. > 		pkey=X509_get_pubkey(peer);
3047.   		type=X509_certificate_type(peer,pkey);
3048.   		}

crypto/x509/x509_cmp.c:313:1: start of procedure X509_get_pubkey()
  311.   	}
  312.   
  313. > EVP_PKEY *X509_get_pubkey(X509 *x)
  314.   	{
  315.   	if ((x == NULL) || (x->cert_info == NULL))

crypto/x509/x509_cmp.c:315:7: Taking false branch
  313.   EVP_PKEY *X509_get_pubkey(X509 *x)
  314.   	{
  315.   	if ((x == NULL) || (x->cert_info == NULL))
               ^
  316.   		return(NULL);
  317.   	return(X509_PUBKEY_get(x->cert_info->key));

crypto/x509/x509_cmp.c:315:22: Taking true branch
  313.   EVP_PKEY *X509_get_pubkey(X509 *x)
  314.   	{
  315.   	if ((x == NULL) || (x->cert_info == NULL))
                              ^
  316.   		return(NULL);
  317.   	return(X509_PUBKEY_get(x->cert_info->key));

crypto/x509/x509_cmp.c:316:3: 
  314.   	{
  315.   	if ((x == NULL) || (x->cert_info == NULL))
  316. > 		return(NULL);
  317.   	return(X509_PUBKEY_get(x->cert_info->key));
  318.   	}

crypto/x509/x509_cmp.c:318:2: return from a call to X509_get_pubkey
  316.   		return(NULL);
  317.   	return(X509_PUBKEY_get(x->cert_info->key));
  318.   	}
          ^
  319.   
  320.   ASN1_BIT_STRING *X509_get0_pubkey_bitstr(const X509 *x)

ssl/s3_srvr.c:3047:3: Skipping X509_certificate_type(): empty list of specs
3045.   		peer=s->session->peer;
3046.   		pkey=X509_get_pubkey(peer);
3047.   		type=X509_certificate_type(peer,pkey);
          ^
3048.   		}
3049.   	else

ssl/s3_srvr.c:3055:6: Taking false branch
3053.   		}
3054.   
3055.   	if (s->s3->tmp.message_type != SSL3_MT_CERTIFICATE_VERIFY)
             ^
3056.   		{
3057.   		s->s3->tmp.reuse_message=1;

ssl/s3_srvr.c:3068:6: Taking false branch
3066.   		}
3067.   
3068.   	if (peer == NULL)
             ^
3069.   		{
3070.   		SSLerr(SSL_F_SSL3_GET_CERT_VERIFY,SSL_R_NO_CLIENT_CERT_RECEIVED);

ssl/s3_srvr.c:3075:8: Taking false branch
3073.   		}
3074.   
3075.   	if (!(type & EVP_PKT_SIGN))
               ^
3076.   		{
3077.   		SSLerr(SSL_F_SSL3_GET_CERT_VERIFY,SSL_R_SIGNATURE_FOR_NON_SIGNING_CERTIFICATE);

ssl/s3_srvr.c:3082:6: Taking false branch
3080.   		}
3081.   
3082.   	if (s->s3->change_cipher_spec)
             ^
3083.   		{
3084.   		SSLerr(SSL_F_SSL3_GET_CERT_VERIFY,SSL_R_CCS_RECEIVED_EARLY);

ssl/s3_srvr.c:3090:2: 
3088.   
3089.   	/* we now have a signature that we need to verify */
3090. > 	p=(unsigned char *)s->init_msg;
3091.   	/* Check for broken implementations of GOST ciphersuites */
3092.   	/* If key is GOST and n is exactly 64, it is bare

ssl/s3_srvr.c:3094:6: Taking true branch
3092.   	/* If key is GOST and n is exactly 64, it is bare
3093.   	 * signature without length field */
3094.   	if (n==64 && (pkey->type==NID_id_GostR3410_94 ||
             ^
3095.   		pkey->type == NID_id_GostR3410_2001) )
3096.   		{

ssl/s3_srvr.c:3094:16: 
3092.   	/* If key is GOST and n is exactly 64, it is bare
3093.   	 * signature without length field */
3094. > 	if (n==64 && (pkey->type==NID_id_GostR3410_94 ||
3095.   		pkey->type == NID_id_GostR3410_2001) )
3096.   		{
