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


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

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

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

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

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

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

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

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

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