apps/verify.c:151: error: BUFFER_OVERRUN_L3
  Offset: [0, 1] Size: [0, +oo] by call to `X509_STORE_free`.
Showing all 9 steps of the trace


apps/verify.c:88:11: Call
86.   	X509_LOOKUP *lookup=NULL;
87.   
88.   	cert_ctx=X509_STORE_new();
                ^
89.   	if (cert_ctx == NULL) goto end;
90.   	X509_STORE_set_verify_cb_func(cert_ctx,cb);

crypto/x509/x509_lu.c:204:24: Call
  202.   	ret->certs=lh_new(x509_object_hash,x509_object_cmp);
  203.   	ret->cache=1;
  204.   	ret->get_cert_methods=sk_new_null();
                                ^
  205.   	ret->verify=NULL;
  206.   	ret->verify_cb=NULL;

crypto/stack/stack.c:130:2: Assignment
    128.   	ret->comp=c;
    129.   	ret->num_alloc=MIN_NODES;
    130.   	ret->num=0;
            ^
    131.   	ret->sorted=0;
    132.   	return(ret);

apps/verify.c:151:24: Call
149.   	if (ret == 1)
150.   		BIO_printf(bio_err,"usage: verify [-verbose] [-CApath path] [-CAfile file] cert1 cert2 ...\n");
151.   	if (cert_ctx != NULL) X509_STORE_free(cert_ctx);
                              ^
152.   	EXIT(ret);
153.   	}

crypto/x509/x509_lu.c:229:1: <Offset trace>
227.   	}
228.   
229. > void X509_STORE_free(X509_STORE *vfy)
230.   	{
231.   	int i;

crypto/x509/x509_lu.c:229:1: Parameter `vfy->get_cert_methods->num`
  227.   	}
  228.   
  229. > void X509_STORE_free(X509_STORE *vfy)
  230.   	{
  231.   	int i;

crypto/x509/x509_lu.c:229:1: <Length trace>
227.   	}
228.   
229. > void X509_STORE_free(X509_STORE *vfy)
230.   	{
231.   	int i;

crypto/x509/x509_lu.c:229:1: Parameter `*vfy->get_cert_methods->data`
  227.   	}
  228.   
  229. > void X509_STORE_free(X509_STORE *vfy)
  230.   	{
  231.   	int i;

crypto/x509/x509_lu.c:241:21: Array access: Offset: [0, 1] Size: [0, +oo] by call to `X509_STORE_free` 
  239.   	for (i=0; i<sk_num(sk); i++)
  240.   		{
  241.   		lu=(X509_LOOKUP *)sk_value(sk,i);
                             ^
  242.   		X509_LOOKUP_shutdown(lu);
  243.   		X509_LOOKUP_free(lu);
