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


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

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

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

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