crypto/rsa/rsa_pss.c:100: error: INTEGER_OVERFLOW_L2
  ([0, `rsa->n->top`] - 1):unsigned64 by call to `RSA_size`.
Showing all 9 steps of the trace


crypto/rsa/rsa_pss.c:73:1: Parameter `rsa->n->top`
71.   #endif
72.   
73. > int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash,
74.   			const EVP_MD *Hash, const unsigned char *EM, int sLen)
75.   	{

crypto/rsa/rsa_pss.c:99:12: Call
97.   		}
98.   
99.   	MSBits = (BN_num_bits(rsa->n) - 1) & 0x7;
                  ^
100.   	emLen = RSA_size(rsa);
101.   	if (EM[0] & (0xFF << MSBits))

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/rsa/rsa_pss.c:100:10: Call
98.   
99.   	MSBits = (BN_num_bits(rsa->n) - 1) & 0x7;
100.   	emLen = RSA_size(rsa);
                ^
101.   	if (EM[0] & (0xFF << MSBits))
102.   		{

crypto/rsa/rsa_lib.c:274:1: Parameter `r->n->top`
  272.   	}
  273.   
  274. > int RSA_size(const RSA *r)
  275.   	{
  276.   	return(BN_num_bytes(r->n));

crypto/rsa/rsa_lib.c:276:9: Call
  274.   int RSA_size(const RSA *r)
  275.   	{
  276.   	return(BN_num_bytes(r->n));
                 ^
  277.   	}
  278.   

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, rsa->n->top] - 1):unsigned64 by call to `RSA_size` 
    248.   int BN_num_bits(const BIGNUM *a)
    249.   	{
    250.   	int i = a->top - 1;
            ^
    251.   	bn_check_top(a);
    252.   
