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:265:1: start of procedure OPENSSL_sk_value()
    263.   }
    264.   
    265. > void *OPENSSL_sk_value(const OPENSSL_STACK *st, int i)
    266.   {
    267.       if (st == NULL || i < 0 || i >= st->num)

crypto/stack/stack.c:267:9: Taking false branch
    265.   void *OPENSSL_sk_value(const OPENSSL_STACK *st, int i)
    266.   {
    267.       if (st == NULL || i < 0 || i >= st->num)
                   ^
    268.           return NULL;
    269.       return (void *)st->data[i];

crypto/stack/stack.c:267:23: Taking true branch
    265.   void *OPENSSL_sk_value(const OPENSSL_STACK *st, int i)
    266.   {
    267.       if (st == NULL || i < 0 || i >= st->num)
                                 ^
    268.           return NULL;
    269.       return (void *)st->data[i];

crypto/stack/stack.c:268:9: 
    266.   {
    267.       if (st == NULL || i < 0 || i >= st->num)
    268. >         return NULL;
    269.       return (void *)st->data[i];
    270.   }

crypto/stack/stack.c:270:1: return from a call to OPENSSL_sk_value
    268.           return NULL;
    269.       return (void *)st->data[i];
    270. > }
    271.   
    272.   void *OPENSSL_sk_set(OPENSSL_STACK *st, int i, const void *data)

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,

static void print_user(CA_DB *db, int userindex, int verbose)
{
    if (verbose > 0) {
        char **pp = sk_OPENSSL_PSTRING_value(db->db->data, userindex);
        if (pp[DB_srptype][0] != 'I') {
            print_entry(db, userindex, verbose, "User entry");
            print_entry(db, get_index(db, pp[DB_srpgN], 'I'), verbose,
                        "g N entry");
        }
    }
}
['static void print_user(CA_DB *db, int userindex, int verbose)\n{\n    if (verbose > 0) {\n        char **pp = sk_OPENSSL_PSTRING_value(db->db->data, userindex);\n        if (pp[DB_srptype][0] != \'I\') {\n            print_entry(db, userindex, verbose, "User entry");\n            print_entry(db, get_index(db, pp[DB_srpgN], \'I\'), verbose,\n                        "g N entry");\n        }\n    }\n}', 'DEFINE_SPECIAL_STACK_OF(OPENSSL_PSTRING, OPENSSL_STRING)', 'void *OPENSSL_sk_value(const OPENSSL_STACK *st, int i)\n{\n    if (st == NULL || i < 0 || i >= st->num)\n        return NULL;\n    return (void *)st->data[i];\n}']