apps/x509.c:645: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `x509_certify`.
Showing all 13 steps of the trace


apps/x509.c:170:6: Call
168.   	CAkeyformat=FORMAT_PEM;
169.   
170.   	ctx=X509_STORE_new();
            ^
171.   	if (ctx == NULL) goto end;
172.   	X509_STORE_set_verify_cb_func(ctx,callb);

crypto/x509/x509_lu.c:202:13: Call
  200.   	if ((ret=(X509_STORE *)Malloc(sizeof(X509_STORE))) == NULL)
  201.   		return(NULL);
  202.   	ret->certs=lh_new(x509_object_hash,x509_object_cmp);
                     ^
  203.   	ret->cache=1;
  204.   	ret->get_cert_methods=sk_new_null();

crypto/lhash/lhash.c:136:2: Assignment
    134.   	ret->up_load=UP_LOAD;
    135.   	ret->down_load=DOWN_LOAD;
    136.   	ret->num_items=0;
            ^
    137.   
    138.   	ret->num_expands=0;

apps/x509.c:645:10: Call
643.   #endif
644.   				
645.   				if (!x509_certify(ctx,CAfile,digest,x,xca,
                ^
646.   					CApkey, CAserial,CA_createserial,days,
647.   					extconf, extsect))

apps/x509.c:735:1: Parameter `ctx->certs->num_items`
  733.   	}
  734.   
  735. > static int x509_certify(X509_STORE *ctx, char *CAfile, const EVP_MD *digest,
  736.   	     X509 *x, X509 *xca, EVP_PKEY *pkey, char *serialfile, int create,
  737.   	     int days, LHASH *conf, char *section)

apps/x509.c:834:7: Call
  832.   	io=NULL;
  833.   	
  834.   	if (!X509_STORE_add_cert(ctx,x)) goto end;
               ^
  835.   
  836.   	/* NOTE: this certificate can/should be self signed, unless it was

crypto/x509/x509_vfy.c:505:1: Parameter `ctx->certs->num_items`
    503.   	}
    504.   
    505. > int X509_STORE_add_cert(X509_STORE *ctx, X509 *x)
    506.   	{
    507.   	X509_OBJECT *obj,*r;

crypto/x509/x509_vfy.c:524:19: Call
    522.   	X509_OBJECT_up_ref_count(obj);
    523.   
    524.   	r=(X509_OBJECT *)lh_insert(ctx->certs,(char *)obj);
                             ^
    525.   	if (r != NULL)
    526.   		{ /* oops, put it back */

crypto/lhash/lhash.c:182:1: Parameter `lh->num_items`
      180.   	}
      181.   
      182. > char *lh_insert(LHASH *lh, char *data)
      183.   	{
      184.   	unsigned long hash;

crypto/x509/x509_vfy.c:527:3: Call
    525.   	if (r != NULL)
    526.   		{ /* oops, put it back */
    527.   		lh_delete(ctx->certs,(char *)obj);
             ^
    528.   		X509_OBJECT_free_contents(obj);
    529.   		Free(obj);

crypto/lhash/lhash.c:220:1: <LHS trace>
218.   	}
219.   
220. > char *lh_delete(LHASH *lh, char *data)
221.   	{
222.   	unsigned long hash;

crypto/lhash/lhash.c:220:1: Parameter `lh->num_items`
      218.   	}
      219.   
      220. > char *lh_delete(LHASH *lh, char *data)
      221.   	{
      222.   	unsigned long hash;

crypto/lhash/lhash.c:243:2: Binary operation: ([0, +oo] - 1):unsigned64 by call to `x509_certify` 
      241.   		}
      242.   
      243.   	lh->num_items--;
              ^
      244.   	if ((lh->num_nodes > MIN_NODES) &&
      245.   		(lh->down_load >= (lh->num_items*LH_LOAD_MULT/lh->num_nodes)))
