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


apps/s_server.c:2961:16: Call
2959.           goto err;
2960.   
2961.       if ((con = SSL_new(ctx)) == NULL)
                       ^
2962.           goto err;
2963.   

ssl/ssl_lib.c:669:1: Parameter `ctx->sessions->num_nodes`
  667.   }
  668.   
  669. > SSL *SSL_new(SSL_CTX *ctx)
  670.   {
  671.       SSL *s;

apps/s_server.c:2972:9: Call
2970.           && !SSL_set_session_id_context(con, context,
2971.                                          strlen((char *)context))) {
2972.           SSL_free(con);
                ^
2973.           goto err;
2974.       }

ssl/ssl_lib.c:1131:1: Parameter `s->ctx->sessions->num_nodes`
  1129.   }
  1130.   
  1131. > void SSL_free(SSL *s)
  1132.   {
  1133.       int i;

ssl/ssl_lib.c:1203:5: Call
  1201.       RECORD_LAYER_release(&s->rlayer);
  1202.   
  1203.       SSL_CTX_free(s->ctx);
              ^
  1204.   
  1205.       ASYNC_WAIT_CTX_free(s->waitctx);

ssl/ssl_lib.c:3076:1: Parameter `a->sessions->num_nodes`
    3074.   }
    3075.   
    3076. > void SSL_CTX_free(SSL_CTX *a)
    3077.   {
    3078.       int i;

ssl/ssl_lib.c:3102:9: Call
    3100.        */
    3101.       if (a->sessions != NULL)
    3102.           SSL_CTX_flush_sessions(a, 0);
                    ^
    3103.   
    3104.       CRYPTO_free_ex_data(CRYPTO_EX_INDEX_SSL_CTX, a, &a->ex_data);

ssl/ssl_sess.c:1106:1: Parameter `s->sessions->num_nodes`
      1104.   IMPLEMENT_LHASH_DOALL_ARG(SSL_SESSION, TIMEOUT_PARAM);
      1105.   
      1106. > void SSL_CTX_flush_sessions(SSL_CTX *s, long t)
      1107.   {
      1108.       unsigned long i;

ssl/ssl_sess.c:1119:5: Call
      1117.       i = lh_SSL_SESSION_get_down_load(s->sessions);
      1118.       lh_SSL_SESSION_set_down_load(s->sessions, 0);
      1119.       lh_SSL_SESSION_doall_TIMEOUT_PARAM(tp.cache, timeout_cb, &tp);
                  ^
      1120.       lh_SSL_SESSION_set_down_load(s->sessions, i);
      1121.       CRYPTO_THREAD_unlock(s->lock);

ssl/ssl_sess.c:1104:1: Parameter `lh->num_nodes`
        1102.   }
        1103.   
        1104. > IMPLEMENT_LHASH_DOALL_ARG(SSL_SESSION, TIMEOUT_PARAM);
        1105.   
        1106.   void SSL_CTX_flush_sessions(SSL_CTX *s, long t)

ssl/ssl_sess.c:1104:1: Call
        1102.   }
        1103.   
        1104. > IMPLEMENT_LHASH_DOALL_ARG(SSL_SESSION, TIMEOUT_PARAM);
        1105.   
        1106.   void SSL_CTX_flush_sessions(SSL_CTX *s, long t)

crypto/lhash/lhash.c:207:1: Parameter `lh->num_nodes`
          205.   }
          206.   
          207. > void OPENSSL_LH_doall_arg(OPENSSL_LHASH *lh, OPENSSL_LH_DOALL_FUNCARG func, void *arg)
          208.   {
          209.       doall_util_fn(lh, 1, (OPENSSL_LH_DOALL_FUNC)0, func, arg);

crypto/lhash/lhash.c:209:5: Call
          207.   void OPENSSL_LH_doall_arg(OPENSSL_LHASH *lh, OPENSSL_LH_DOALL_FUNCARG func, void *arg)
          208.   {
          209.       doall_util_fn(lh, 1, (OPENSSL_LH_DOALL_FUNC)0, func, arg);
                     ^
          210.   }
          211.   

crypto/lhash/lhash.c:175:1: <LHS trace>
173.   }
174.   
175. > static void doall_util_fn(OPENSSL_LHASH *lh, int use_arg,
176.                             OPENSSL_LH_DOALL_FUNC func,
177.                             OPENSSL_LH_DOALL_FUNCARG func_arg, void *arg)

crypto/lhash/lhash.c:175:1: Parameter `lh->num_nodes`
            173.   }
            174.   
            175. > static void doall_util_fn(OPENSSL_LHASH *lh, int use_arg,
            176.                             OPENSSL_LH_DOALL_FUNC func,
            177.                             OPENSSL_LH_DOALL_FUNCARG func_arg, void *arg)

crypto/lhash/lhash.c:189:10: Binary operation: ([0, +oo] - 1):unsigned32 by call to `SSL_free` 
            187.        * memory leaks otherwise
            188.        */
            189.       for (i = lh->num_nodes - 1; i >= 0; i--) {
                            ^
            190.           a = lh->b[i];
            191.           while (a != NULL) {
