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


apps/apps.c:1463:1: start of procedure setup_verify()
1461.   }
1462.   
1463. > X509_STORE *setup_verify(BIO *bp, char *CAfile, char *CApath)
1464.   {
1465.       X509_STORE *store;

apps/apps.c:1467:11: Taking true branch
1465.       X509_STORE *store;
1466.       X509_LOOKUP *lookup;
1467.       if (!(store = X509_STORE_new()))
                  ^
1468.           goto end;
1469.       lookup = X509_STORE_add_lookup(store, X509_LOOKUP_file());

apps/apps.c:1493:2: 
1491.       ERR_clear_error();
1492.       return store;
1493. >  end:
1494.       X509_STORE_free(store);
1495.       return NULL;

apps/apps.c:1494:5: 
1492.       return store;
1493.    end:
1494. >     X509_STORE_free(store);
1495.       return NULL;
1496.   }
