crypto/pem/pem_seal.c:109: error: INTEGER_OVERFLOW_L2
  ([0, `(*pubk)->pkey.rsa->n->top`] - 1):unsigned64 by call to `RSA_size`.
Showing all 7 steps of the trace


crypto/pem/pem_seal.c:70:1: Parameter `(*pubk)->pkey.rsa->n->top`
68.   #include <openssl/rsa.h>
69.   
70. > int PEM_SealInit(PEM_ENCODE_SEAL_CTX *ctx, EVP_CIPHER *type, EVP_MD *md_type,
71.   	     unsigned char **ek, int *ekl, unsigned char *iv, EVP_PKEY **pubk,
72.   	     int npubk)

crypto/pem/pem_seal.c:109:4: Call
107.   		{
108.   		j=EVP_EncodeBlock((unsigned char *)s,ek[i],
109.   			RSA_size(pubk[i]->pkey.rsa));
          ^
110.   		ekl[i]=j;
111.   		memcpy(ek[i],s,j+1);

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, (*pubk)->pkey.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.   
