apps/srp.c:80: error: NULL_DEREFERENCE
  pointer `pp` last assigned on line 78 could be null and is dereferenced at line 80, column 13.
Showing all 11 steps of the trace


apps/srp.c:75:1: start of procedure print_user()
73.   }
74.   
75. > static void print_user(CA_DB *db, int userindex, int verbose)
76.   {
77.       if (verbose > 0) {

apps/srp.c:77:9: Taking true branch
75.   static void print_user(CA_DB *db, int userindex, int verbose)
76.   {
77.       if (verbose > 0) {
              ^
78.           char **pp = sk_OPENSSL_PSTRING_value(db->db->data, userindex);
79.   

apps/srp.c:78:9: 
76.   {
77.       if (verbose > 0) {
78. >         char **pp = sk_OPENSSL_PSTRING_value(db->db->data, userindex);
79.   
80.           if (pp[DB_srptype][0] != 'I') {

include/openssl/txt_db.h:31:1: start of procedure sk_OPENSSL_PSTRING_value()
  29.   
  30.   typedef OPENSSL_STRING *OPENSSL_PSTRING;
  31. > DEFINE_SPECIAL_STACK_OF(OPENSSL_PSTRING, OPENSSL_STRING)
  32.   
  33.   typedef struct txt_db_st {

crypto/stack/stack.c:277:1: start of procedure OPENSSL_sk_value()
    275.   }
    276.   
    277. > void *OPENSSL_sk_value(const OPENSSL_STACK *st, int i)
    278.   {
    279.       if (st == NULL || i < 0 || i >= st->num)

crypto/stack/stack.c:279:9: Taking false branch
    277.   void *OPENSSL_sk_value(const OPENSSL_STACK *st, int i)
    278.   {
    279.       if (st == NULL || i < 0 || i >= st->num)
                   ^
    280.           return NULL;
    281.       return st->data[i];

crypto/stack/stack.c:279:23: Taking true branch
    277.   void *OPENSSL_sk_value(const OPENSSL_STACK *st, int i)
    278.   {
    279.       if (st == NULL || i < 0 || i >= st->num)
                                 ^
    280.           return NULL;
    281.       return st->data[i];

crypto/stack/stack.c:280:9: 
    278.   {
    279.       if (st == NULL || i < 0 || i >= st->num)
    280. >         return NULL;
    281.       return st->data[i];
    282.   }

crypto/stack/stack.c:282:1: return from a call to OPENSSL_sk_value
    280.           return NULL;
    281.       return st->data[i];
    282. > }
    283.   
    284.   void *OPENSSL_sk_set(OPENSSL_STACK *st, int i, void *value)

include/openssl/txt_db.h:31:1: return from a call to sk_OPENSSL_PSTRING_value
  29.   
  30.   typedef OPENSSL_STRING *OPENSSL_PSTRING;
  31. > DEFINE_SPECIAL_STACK_OF(OPENSSL_PSTRING, OPENSSL_STRING)
  32.   
  33.   typedef struct txt_db_st {

apps/srp.c:80:13: 
78.           char **pp = sk_OPENSSL_PSTRING_value(db->db->data, userindex);
79.   
80. >         if (pp[DB_srptype][0] != 'I') {
81.               print_entry(db, userindex, verbose, "User entry");
82.               print_entry(db, get_index(db, pp[DB_srpgN], 'I'), verbose,
