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


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

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

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

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