apps/apps.c:1504: error: NULL_DEREFERENCE
  pointer `store` last assigned on line 1477 could be null and is dereferenced by call to `X509_STORE_free()` at line 1504, column 5.
Showing all 4 steps of the trace


apps/apps.c:1473:1: start of procedure setup_verify()
1471.   }
1472.   
1473. > X509_STORE *setup_verify(BIO *bp, char *CAfile, char *CApath)
1474.   {
1475.       X509_STORE *store;

apps/apps.c:1477:11: Taking true branch
1475.       X509_STORE *store;
1476.       X509_LOOKUP *lookup;
1477.       if (!(store = X509_STORE_new()))
                  ^
1478.           goto end;
1479.       lookup = X509_STORE_add_lookup(store, X509_LOOKUP_file());

apps/apps.c:1503:2: 
1501.       ERR_clear_error();
1502.       return store;
1503. >  end:
1504.       X509_STORE_free(store);
1505.       return NULL;

apps/apps.c:1504:5: 
1502.       return store;
1503.    end:
1504. >     X509_STORE_free(store);
1505.       return NULL;
1506.   }
