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


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

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

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

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