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


apps/apps.c:1545:1: start of procedure setup_verify()
1543.   }
1544.   
1545. > X509_STORE *setup_verify(BIO *bp, char *CAfile, char *CApath)
1546.   {
1547.   	X509_STORE *store;

apps/apps.c:1549:7: Taking true branch
1547.   	X509_STORE *store;
1548.   	X509_LOOKUP *lookup;
1549.   	if(!(store = X509_STORE_new())) goto end;
              ^
1550.   	lookup=X509_STORE_add_lookup(store,X509_LOOKUP_file());
1551.   	if (lookup == NULL) goto end;

apps/apps.c:1570:2: 
1568.   	ERR_clear_error();
1569.   	return store;
1570. > 	end:
1571.   	X509_STORE_free(store);
1572.   	return NULL;

apps/apps.c:1571:2: 
1569.   	return store;
1570.   	end:
1571. > 	X509_STORE_free(store);
1572.   	return NULL;
1573.   }
