apps/ts.c:1052: error: NULL_DEREFERENCE
  pointer `ctx` last assigned on line 1014 could be null and is dereferenced at line 1052, column 2.
Showing all 9 steps of the trace


apps/ts.c:1009:1: start of procedure create_verify_ctx()
1007.   	}
1008.   
1009. > static TS_VERIFY_CTX *create_verify_ctx(char *data, char *digest, 
1010.   					char *queryfile, 
1011.   					char *ca_path, char *ca_file,

apps/ts.c:1014:2: 
1012.   					char *untrusted)
1013.   	{
1014. > 	TS_VERIFY_CTX *ctx = NULL;
1015.   	BIO *input = NULL;
1016.   	TS_REQ *request = NULL;

apps/ts.c:1015:2: 
1013.   	{
1014.   	TS_VERIFY_CTX *ctx = NULL;
1015. > 	BIO *input = NULL;
1016.   	TS_REQ *request = NULL;
1017.   	int ret = 0;

apps/ts.c:1016:2: 
1014.   	TS_VERIFY_CTX *ctx = NULL;
1015.   	BIO *input = NULL;
1016. > 	TS_REQ *request = NULL;
1017.   	int ret = 0;
1018.   

apps/ts.c:1017:2: 
1015.   	BIO *input = NULL;
1016.   	TS_REQ *request = NULL;
1017. > 	int ret = 0;
1018.   
1019.   	if (data != NULL || digest != NULL)

apps/ts.c:1019:6: Taking false branch
1017.   	int ret = 0;
1018.   
1019.   	if (data != NULL || digest != NULL)
             ^
1020.   		{
1021.   		if (!(ctx = TS_VERIFY_CTX_new())) goto err;

apps/ts.c:1019:22: Taking false branch
1017.   	int ret = 0;
1018.   
1019.   	if (data != NULL || digest != NULL)
                             ^
1020.   		{
1021.   		if (!(ctx = TS_VERIFY_CTX_new())) goto err;

apps/ts.c:1042:11: Taking false branch
1040.   		
1041.   		}
1042.   	else if (queryfile != NULL)
                  ^
1043.   		{
1044.   		/* The request has just to be read, decoded and converted to

apps/ts.c:1052:2: 
1050.   
1051.   	/* Add the signature verification flag and arguments. */
1052. > 	ctx->flags |= TS_VFY_SIGNATURE;
1053.   
1054.   	/* Initialising the X509_STORE object. */
