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


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

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

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

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