ssl/t1_lib.c:4320: error: NULL_DEREFERENCE
  pointer `null` is dereferenced by call to `ssl_security_cert()` at line 4320, column 10.
Showing all 11 steps of the trace


ssl/t1_lib.c:4311:1: start of procedure ssl_security_cert_chain()
4309.    */
4310.   
4311. > int ssl_security_cert_chain(SSL *s, STACK_OF(X509) *sk, X509 *x, int vfy)
4312.   {
4313.       int rv, start_idx, i;

ssl/t1_lib.c:4314:9: Taking true branch
4312.   {
4313.       int rv, start_idx, i;
4314.       if (x == NULL) {
                ^
4315.           x = sk_X509_value(sk, 0);
4316.           start_idx = 1;

ssl/t1_lib.c:4315:9: 
4313.       int rv, start_idx, i;
4314.       if (x == NULL) {
4315. >         x = sk_X509_value(sk, 0);
4316.           start_idx = 1;
4317.       } else

include/openssl/x509.h:169:1: start of procedure sk_X509_value()
  167.   typedef struct x509_cinf_st X509_CINF;
  168.   
  169. > DEFINE_STACK_OF(X509)
  170.   
  171.   /* This is used for a table of trust checking functions */

crypto/stack/stack.c:323:1: start of procedure sk_value()
    321.   }
    322.   
    323. > void *sk_value(const _STACK *st, int i)
    324.   {
    325.       if (!st || (i < 0) || (i >= st->num))

crypto/stack/stack.c:325:10: Taking true branch
    323.   void *sk_value(const _STACK *st, int i)
    324.   {
    325.       if (!st || (i < 0) || (i >= st->num))
                    ^
    326.           return NULL;
    327.       return st->data[i];

crypto/stack/stack.c:326:9: 
    324.   {
    325.       if (!st || (i < 0) || (i >= st->num))
    326. >         return NULL;
    327.       return st->data[i];
    328.   }

crypto/stack/stack.c:328:1: return from a call to sk_value
    326.           return NULL;
    327.       return st->data[i];
    328. > }
    329.   
    330.   void *sk_set(_STACK *st, int i, void *value)

include/openssl/x509.h:169:1: return from a call to sk_X509_value
  167.   typedef struct x509_cinf_st X509_CINF;
  168.   
  169. > DEFINE_STACK_OF(X509)
  170.   
  171.   /* This is used for a table of trust checking functions */

ssl/t1_lib.c:4316:9: 
4314.       if (x == NULL) {
4315.           x = sk_X509_value(sk, 0);
4316. >         start_idx = 1;
4317.       } else
4318.           start_idx = 0;

ssl/t1_lib.c:4320:5: 
4318.           start_idx = 0;
4319.   
4320. >     rv = ssl_security_cert(s, NULL, x, vfy, 1);
4321.       if (rv != 1)
4322.           return rv;
