ssl/t1_lib.c:2173: error: NULL_DEREFERENCE
  pointer `cpk` last assigned on line 2172 could be null and is dereferenced at line 2173, column 45.
Showing all 30 steps of the trace


ssl/t1_lib.c:2161:1: start of procedure ssl_get_auto_dh()
2159.   
2160.   #ifndef OPENSSL_NO_DH
2161. > DH *ssl_get_auto_dh(SSL *s)
2162.   {
2163.       int dh_secbits = 80;

ssl/t1_lib.c:2163:5: 
2161.   DH *ssl_get_auto_dh(SSL *s)
2162.   {
2163. >     int dh_secbits = 80;
2164.       if (s->cert->dh_tmp_auto == 2)
2165.           return DH_get_1024_160();

ssl/t1_lib.c:2164:9: Taking false branch
2162.   {
2163.       int dh_secbits = 80;
2164.       if (s->cert->dh_tmp_auto == 2)
                ^
2165.           return DH_get_1024_160();
2166.       if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aNULL | SSL_aPSK)) {

ssl/t1_lib.c:2166:9: Taking false branch
2164.       if (s->cert->dh_tmp_auto == 2)
2165.           return DH_get_1024_160();
2166.       if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aNULL | SSL_aPSK)) {
                ^
2167.           if (s->s3->tmp.new_cipher->strength_bits == 256)
2168.               dh_secbits = 128;

ssl/t1_lib.c:2172:9: 
2170.               dh_secbits = 80;
2171.       } else {
2172. >         CERT_PKEY *cpk = ssl_get_server_send_pkey(s);
2173.           dh_secbits = EVP_PKEY_security_bits(cpk->privatekey);
2174.       }

ssl/ssl_lib.c:2864:1: start of procedure ssl_get_server_send_pkey()
  2862.   }
  2863.   
  2864. > CERT_PKEY *ssl_get_server_send_pkey(SSL *s)
  2865.   {
  2866.       CERT *c;

ssl/ssl_lib.c:2869:5: 
  2867.       int i;
  2868.   
  2869. >     c = s->cert;
  2870.       if (!s->s3 || !s->s3->tmp.new_cipher)
  2871.           return NULL;

ssl/ssl_lib.c:2870:10: Taking false branch
  2868.   
  2869.       c = s->cert;
  2870.       if (!s->s3 || !s->s3->tmp.new_cipher)
                   ^
  2871.           return NULL;
  2872.       ssl_set_masks(s);

ssl/ssl_lib.c:2870:20: Taking false branch
  2868.   
  2869.       c = s->cert;
  2870.       if (!s->s3 || !s->s3->tmp.new_cipher)
                             ^
  2871.           return NULL;
  2872.       ssl_set_masks(s);

ssl/ssl_lib.c:2872:5: Skipping ssl_set_masks(): empty list of specs
  2870.       if (!s->s3 || !s->s3->tmp.new_cipher)
  2871.           return NULL;
  2872.       ssl_set_masks(s);
              ^
  2873.   
  2874.       i = ssl_get_server_cert_index(s);

ssl/ssl_lib.c:2874:5: 
  2872.       ssl_set_masks(s);
  2873.   
  2874. >     i = ssl_get_server_cert_index(s);
  2875.   
  2876.       /* This may or may not be an error. */

ssl/ssl_lib.c:2837:1: start of procedure ssl_get_server_cert_index()
    2835.   #endif
    2836.   
    2837. > static int ssl_get_server_cert_index(const SSL *s)
    2838.   {
    2839.       int idx;

ssl/ssl_lib.c:2846:5: 
    2844.        * forces the use of an RSA cert. This will need to change.
    2845.        */
    2846. >     idx = ssl_cipher_get_cert_index(s->s3->tmp.new_cipher);
    2847.       if (idx == SSL_PKEY_RSA_ENC && !s->cert->pkeys[SSL_PKEY_RSA_ENC].x509)
    2848.           idx = SSL_PKEY_RSA_SIGN;

ssl/ssl_ciph.c:1893:1: start of procedure ssl_cipher_get_cert_index()
      1891.   
      1892.   /* For a cipher return the index corresponding to the certificate type */
      1893. > int ssl_cipher_get_cert_index(const SSL_CIPHER *c)
      1894.   {
      1895.       uint32_t alg_a;

ssl/ssl_ciph.c:1897:5: 
      1895.       uint32_t alg_a;
      1896.   
      1897. >     alg_a = c->algorithm_auth;
      1898.   
      1899.       if (alg_a & SSL_aECDSA)

ssl/ssl_ciph.c:1899:9: Taking false branch
      1897.       alg_a = c->algorithm_auth;
      1898.   
      1899.       if (alg_a & SSL_aECDSA)
                      ^
      1900.           return SSL_PKEY_ECC;
      1901.       else if (alg_a & SSL_aDSS)

ssl/ssl_ciph.c:1901:14: Taking false branch
      1899.       if (alg_a & SSL_aECDSA)
      1900.           return SSL_PKEY_ECC;
      1901.       else if (alg_a & SSL_aDSS)
                           ^
      1902.           return SSL_PKEY_DSA_SIGN;
      1903.       else if (alg_a & SSL_aRSA)

ssl/ssl_ciph.c:1903:14: Taking true branch
      1901.       else if (alg_a & SSL_aDSS)
      1902.           return SSL_PKEY_DSA_SIGN;
      1903.       else if (alg_a & SSL_aRSA)
                           ^
      1904.           return SSL_PKEY_RSA_ENC;
      1905.       else if (alg_a & SSL_aGOST12)

ssl/ssl_ciph.c:1904:9: 
      1902.           return SSL_PKEY_DSA_SIGN;
      1903.       else if (alg_a & SSL_aRSA)
      1904. >         return SSL_PKEY_RSA_ENC;
      1905.       else if (alg_a & SSL_aGOST12)
      1906.           return SSL_PKEY_GOST_EC;

ssl/ssl_ciph.c:1911:1: return from a call to ssl_cipher_get_cert_index
      1909.   
      1910.       return -1;
      1911. > }
      1912.   
      1913.   const SSL_CIPHER *ssl_get_cipher_by_char(SSL *ssl, const unsigned char *ptr)

ssl/ssl_lib.c:2847:9: Taking true branch
    2845.        */
    2846.       idx = ssl_cipher_get_cert_index(s->s3->tmp.new_cipher);
    2847.       if (idx == SSL_PKEY_RSA_ENC && !s->cert->pkeys[SSL_PKEY_RSA_ENC].x509)
                    ^
    2848.           idx = SSL_PKEY_RSA_SIGN;
    2849.       if (idx == SSL_PKEY_GOST_EC) {

ssl/ssl_lib.c:2847:37: Taking false branch
    2845.        */
    2846.       idx = ssl_cipher_get_cert_index(s->s3->tmp.new_cipher);
    2847.       if (idx == SSL_PKEY_RSA_ENC && !s->cert->pkeys[SSL_PKEY_RSA_ENC].x509)
                                                ^
    2848.           idx = SSL_PKEY_RSA_SIGN;
    2849.       if (idx == SSL_PKEY_GOST_EC) {

ssl/ssl_lib.c:2849:9: Taking false branch
    2847.       if (idx == SSL_PKEY_RSA_ENC && !s->cert->pkeys[SSL_PKEY_RSA_ENC].x509)
    2848.           idx = SSL_PKEY_RSA_SIGN;
    2849.       if (idx == SSL_PKEY_GOST_EC) {
                    ^
    2850.           if (s->cert->pkeys[SSL_PKEY_GOST12_512].x509)
    2851.               idx = SSL_PKEY_GOST12_512;

ssl/ssl_lib.c:2859:9: Taking false branch
    2857.               idx = -1;
    2858.       }
    2859.       if (idx == -1)
                    ^
    2860.           SSLerr(SSL_F_SSL_GET_SERVER_CERT_INDEX, ERR_R_INTERNAL_ERROR);
    2861.       return idx;

ssl/ssl_lib.c:2861:5: 
    2859.       if (idx == -1)
    2860.           SSLerr(SSL_F_SSL_GET_SERVER_CERT_INDEX, ERR_R_INTERNAL_ERROR);
    2861. >     return idx;
    2862.   }
    2863.   

ssl/ssl_lib.c:2862:1: return from a call to ssl_get_server_cert_index
    2860.           SSLerr(SSL_F_SSL_GET_SERVER_CERT_INDEX, ERR_R_INTERNAL_ERROR);
    2861.       return idx;
    2862. > }
    2863.   
    2864.   CERT_PKEY *ssl_get_server_send_pkey(SSL *s)

ssl/ssl_lib.c:2877:9: Taking true branch
  2875.   
  2876.       /* This may or may not be an error. */
  2877.       if (i < 0)
                  ^
  2878.           return NULL;
  2879.   

ssl/ssl_lib.c:2878:9: 
  2876.       /* This may or may not be an error. */
  2877.       if (i < 0)
  2878. >         return NULL;
  2879.   
  2880.       /* May be NULL. */

ssl/ssl_lib.c:2882:1: return from a call to ssl_get_server_send_pkey
  2880.       /* May be NULL. */
  2881.       return &c->pkeys[i];
  2882. > }
  2883.   
  2884.   EVP_PKEY *ssl_get_sign_pkey(SSL *s, const SSL_CIPHER *cipher,

ssl/t1_lib.c:2173:9: 
2171.       } else {
2172.           CERT_PKEY *cpk = ssl_get_server_send_pkey(s);
2173. >         dh_secbits = EVP_PKEY_security_bits(cpk->privatekey);
2174.       }
2175.   
