apps/ocsp.c:1367: error: INTEGER_OVERFLOW_L2
  ([0, 8] - 1):unsigned32 by call to `SSL_CTX_free`.
Showing all 13 steps of the trace


apps/ocsp.c:1352:15: Call
1350.       if (use_ssl == 1) {
1351.           BIO *sbio;
1352.           ctx = SSL_CTX_new(SSLv23_client_method());
                      ^
1353.           if (ctx == NULL) {
1354.               BIO_printf(err, "Error creating SSL context.\n");

ssl/ssl_lib.c:1920:21: Call
  1918.       ret->app_verify_cookie_cb = 0;
  1919.   
  1920.       ret->sessions = lh_SSL_SESSION_new();
                              ^
  1921.       if (ret->sessions == NULL)
  1922.           goto err;

crypto/lhash/lhash.c:128:5: Assignment
    126.       ret->comp = ((c == NULL) ? (LHASH_COMP_FN_TYPE)strcmp : c);
    127.       ret->hash = ((h == NULL) ? (LHASH_HASH_FN_TYPE)lh_strhash : h);
    128.       ret->num_nodes = MIN_NODES / 2;
               ^
    129.       ret->num_alloc_nodes = MIN_NODES;
    130.       ret->p = 0;

apps/ocsp.c:1367:9: Call
1365.       BIO_free_all(cbio);
1366.       if (ctx)
1367.           SSL_CTX_free(ctx);
                ^
1368.       return resp;
1369.   }

ssl/ssl_lib.c:2020:1: Parameter `a->sessions->num_nodes`
  2018.   }
  2019.   
  2020. > void SSL_CTX_free(SSL_CTX *a)
  2021.   {
  2022.       int i;

ssl/ssl_lib.c:2053:9: Call
  2051.        */
  2052.       if (a->sessions != NULL)
  2053.           SSL_CTX_flush_sessions(a, 0);
                  ^
  2054.   
  2055.       CRYPTO_free_ex_data(CRYPTO_EX_INDEX_SSL_CTX, a, &a->ex_data);

ssl/ssl_sess.c:991:1: Parameter `s->sessions->num_nodes`
    989.   static IMPLEMENT_LHASH_DOALL_ARG_FN(timeout, SSL_SESSION, TIMEOUT_PARAM)
    990.   
    991. > void SSL_CTX_flush_sessions(SSL_CTX *s, long t)
    992.   {
    993.       unsigned long i;

ssl/ssl_sess.c:1004:5: Call
    1002.       i = CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load;
    1003.       CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load = 0;
    1004.       lh_SSL_SESSION_doall_arg(tp.cache, LHASH_DOALL_ARG_FN(timeout),
                ^
    1005.                                TIMEOUT_PARAM, &tp);
    1006.       CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load = i;

crypto/lhash/lhash.c:296:1: Parameter `lh->num_nodes`
      294.   }
      295.   
      296. > void lh_doall_arg(_LHASH *lh, LHASH_DOALL_ARG_FN_TYPE func, void *arg)
      297.   {
      298.       doall_util_fn(lh, 1, (LHASH_DOALL_FN_TYPE)0, func, arg);

crypto/lhash/lhash.c:298:5: Call
      296.   void lh_doall_arg(_LHASH *lh, LHASH_DOALL_ARG_FN_TYPE func, void *arg)
      297.   {
      298.       doall_util_fn(lh, 1, (LHASH_DOALL_FN_TYPE)0, func, arg);
                 ^
      299.   }
      300.   

crypto/lhash/lhash.c:258:1: <LHS trace>
256.   }
257.   
258. > static void doall_util_fn(_LHASH *lh, int use_arg, LHASH_DOALL_FN_TYPE func,
259.                             LHASH_DOALL_ARG_FN_TYPE func_arg, void *arg)
260.   {

crypto/lhash/lhash.c:258:1: Parameter `lh->num_nodes`
        256.   }
        257.   
        258. > static void doall_util_fn(_LHASH *lh, int use_arg, LHASH_DOALL_FN_TYPE func,
        259.                             LHASH_DOALL_ARG_FN_TYPE func_arg, void *arg)
        260.   {

crypto/lhash/lhash.c:271:10: Binary operation: ([0, 8] - 1):unsigned32 by call to `SSL_CTX_free` 
        269.        * memory leaks otherwise
        270.        */
        271.       for (i = lh->num_nodes - 1; i >= 0; i--) {
                        ^
        272.           a = lh->b[i];
        273.           while (a != NULL) {
