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


apps/verify.c:82:11: Call
80.   	X509_LOOKUP *lookup=NULL;
81.   
82.   	cert_ctx=X509_STORE_new();
                ^
83.   	if (cert_ctx == NULL) goto end;
84.   	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:125:2: Assignment
    123.   	ret->comp=c;
    124.   	ret->num_alloc=MIN_NODES;
    125.   	ret->num=0;
            ^
    126.   	ret->sorted=0;
    127.   	return(ret);

apps/verify.c:145:24: Call
143.   	if (ret == 1)
144.   		BIO_printf(bio_err,"usage: verify [-verbose] [-CApath path] [-CAfile file] cert1 cert2 ...\n");
145.   	if (cert_ctx != NULL) X509_STORE_free(cert_ctx);
                              ^
146.   	EXIT(ret);
147.   	}

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: Call
  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);

crypto/stack/stack.c:293:1: <Offset trace>
291.   }
292.   
293. > char *sk_value(STACK *st, int i)
294.   {
295.   	if(st == NULL) return NULL;

crypto/stack/stack.c:293:1: Parameter `i`
    291.   }
    292.   
    293. > char *sk_value(STACK *st, int i)
    294.   {
    295.   	if(st == NULL) return NULL;

crypto/stack/stack.c:293:1: <Length trace>
291.   }
292.   
293. > char *sk_value(STACK *st, int i)
294.   {
295.   	if(st == NULL) return NULL;

crypto/stack/stack.c:293:1: Parameter `*st->data`
    291.   }
    292.   
    293. > char *sk_value(STACK *st, int i)
    294.   {
    295.   	if(st == NULL) return NULL;

crypto/stack/stack.c:296:9: Array access: Offset: [0, 1] Size: [0, +oo] by call to `X509_STORE_free` 
    294.   {
    295.   	if(st == NULL) return NULL;
    296.   	return st->data[i];
                   ^
    297.   }
    298.   
