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


apps/apps.c:2536:6: Call
2534.   	l = BIO_read(bconn, s3b.hk, sizeof s3b.hk);
2535.   	assert(l == sizeof s3b.hk);
2536.   	if(!JPAKE_STEP3B_process(ctx, &s3b))
             ^
2537.   		{
2538.   		ERR_print_errors(bio_err);

crypto/jpake/jpake.c:462:1: Parameter `ctx->key->top`
  460.       }
  461.   
  462. > int JPAKE_STEP3B_process(JPAKE_CTX *ctx, const JPAKE_STEP3B *received)
  463.       {
  464.       unsigned char hk[SHA_DIGEST_LENGTH];

crypto/jpake/jpake.c:466:5: Call
  464.       unsigned char hk[SHA_DIGEST_LENGTH];
  465.   
  466.       quickhashbn(hk, ctx->key);
             ^
  467.       if(memcmp(hk, received->hk, sizeof hk))
  468.   	{

crypto/jpake/jpake.c:415:1: Parameter `bn->top`
    413.       }
    414.   
    415. > static void quickhashbn(unsigned char *md, const BIGNUM *bn)
    416.       {
    417.       SHA_CTX sha;

crypto/jpake/jpake.c:420:5: Call
    418.   
    419.       SHA1_Init(&sha);
    420.       hashbn(&sha, bn);
               ^
    421.       SHA1_Final(md, &sha);
    422.       }

crypto/jpake/jpake.c:150:1: Parameter `bn->top`
      148.       }
      149.   
      150. > static void hashbn(SHA_CTX *sha, const BIGNUM *bn)
      151.       {
      152.       size_t l = BN_num_bytes(bn);

crypto/jpake/jpake.c:152:16: Call
      150.   static void hashbn(SHA_CTX *sha, const BIGNUM *bn)
      151.       {
      152.       size_t l = BN_num_bytes(bn);
                            ^
      153.       unsigned char *bin = OPENSSL_malloc(l);
      154.   

crypto/bn/bn_lib.c:248:1: <LHS trace>
246.   	}
247.   
248. > int BN_num_bits(const BIGNUM *a)
249.   	{
250.   	int i = a->top - 1;

crypto/bn/bn_lib.c:248:1: Parameter `a->top`
        246.   	}
        247.   
        248. > int BN_num_bits(const BIGNUM *a)
        249.   	{
        250.   	int i = a->top - 1;

crypto/bn/bn_lib.c:250:2: Binary operation: ([0, +oo] - 1):unsigned64 by call to `JPAKE_STEP3B_process` 
        248.   int BN_num_bits(const BIGNUM *a)
        249.   	{
        250.   	int i = a->top - 1;
                ^
        251.   	bn_check_top(a);
        252.   
