apps/s_server.c:1010: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `SSL_free`.
Showing all 16 steps of the trace


apps/s_server.c:785:14: Call
783.   
784.   	if (con == NULL) {
785.   		con=(SSL *)SSL_new(ctx);
                    ^
786.   		if(context)
787.   		      SSL_set_session_id_context(con, context,

ssl/ssl_lib.c:176:1: Parameter `ctx->cert_store->certs->num_nodes`
  174.   	}
  175.   
  176. > SSL *SSL_new(SSL_CTX *ctx)
  177.   	{
  178.   	SSL *s;

apps/s_server.c:790:2: Call
788.   						 strlen((char *)context));
789.   	}
790.   	SSL_clear(con);
        ^
791.   
792.   	sbio=BIO_new_socket(s,BIO_NOCLOSE);

ssl/ssl_lib.c:96:1: Parameter `s->ctx->sessions->num_nodes`
  94.   	};
  95.   
  96. > int SSL_clear(SSL *s)
  97.   	{
  98.   	int state;

apps/s_server.c:1010:19: Call
1008.   	SSL_shutdown(con);
1009.   #endif
1010.   	if (con != NULL) SSL_free(con);
                          ^
1011.   	BIO_printf(bio_s_out,"CONNECTION CLOSED\n");
1012.   	if (buf != NULL)

ssl/ssl_lib.c:321:1: Parameter `s->ctx->cert_store->certs->num_nodes`
  319.   }
  320.   
  321. > void SSL_free(SSL *s)
  322.   	{
  323.   	int i;

ssl/ssl_lib.c:376:14: Call
  374.   	/* Free up if allocated */
  375.   
  376.   	if (s->ctx) SSL_CTX_free(s->ctx);
                      ^
  377.   
  378.   	if (s->client_CA != NULL)

ssl/ssl_lib.c:1179:1: Parameter `a->cert_store->certs->num_nodes`
    1177.       { Free(comp); }
    1178.   
    1179. > void SSL_CTX_free(SSL_CTX *a)
    1180.   	{
    1181.   	int i;

ssl/ssl_lib.c:1205:3: Call
    1203.   		}
    1204.   	if (a->cert_store != NULL)
    1205.   		X509_STORE_free(a->cert_store);
              ^
    1206.   	if (a->cipher_list != NULL)
    1207.   		sk_SSL_CIPHER_free(a->cipher_list);

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

crypto/x509/x509_lu.c:248:2: Call
      246.   
      247.   	CRYPTO_free_ex_data(x509_store_meth,vfy,&vfy->ex_data);
      248.   	lh_doall(vfy->certs,cleanup);
              ^
      249.   	lh_free(vfy->certs);
      250.   	Free(vfy);

crypto/lhash/lhash.c:273:1: Parameter `lh->num_nodes`
        271.   	}
        272.   
        273. > void lh_doall(LHASH *lh, void (*func)())
        274.   	{
        275.   	lh_doall_arg(lh,func,NULL);

crypto/lhash/lhash.c:275:2: Call
        273.   void lh_doall(LHASH *lh, void (*func)())
        274.   	{
        275.   	lh_doall_arg(lh,func,NULL);
                ^
        276.   	}
        277.   

crypto/lhash/lhash.c:278:1: <LHS trace>
276.   	}
277.   
278. > void lh_doall_arg(LHASH *lh, void (*func)(), char *arg)
279.   	{
280.   	int i;

crypto/lhash/lhash.c:278:1: Parameter `lh->num_nodes`
          276.   	}
          277.   
          278. > void lh_doall_arg(LHASH *lh, void (*func)(), char *arg)
          279.   	{
          280.   	int i;

crypto/lhash/lhash.c:285:7: Binary operation: ([0, +oo] - 1):unsigned32 by call to `SSL_free` 
          283.   	/* reverse the order so we search from 'top to bottom'
          284.   	 * We were having memory leaks otherwise */
          285.   	for (i=lh->num_nodes-1; i>=0; i--)
                       ^
          286.   		{
          287.   		a=lh->b[i];
