crypto/bn/bn_conv.c:103: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BIO_snprintf`.
Showing all 12 steps of the trace


crypto/bn/bn_conv.c:72:11: Call
70.       bn_data_num = num / BN_DEC_NUM + 1;
71.       bn_data = OPENSSL_malloc(bn_data_num * sizeof(BN_ULONG));
72.       buf = OPENSSL_malloc(tbytes);
                ^
73.       if (buf == NULL || bn_data == NULL) {
74.           BNerr(BN_F_BN_BN2DEC, ERR_R_MALLOC_FAILURE);

providers/fips/fipsprov.c:473:12: Unknown value from: non-const function
  471.   void *CRYPTO_malloc(size_t num, const char *file, int line)
  472.   {
  473.       return c_CRYPTO_malloc(num, file, line);
                    ^
  474.   }
  475.   

providers/fips/fipsprov.c:473:5: Assignment
  471.   void *CRYPTO_malloc(size_t num, const char *file, int line)
  472.   {
  473.       return c_CRYPTO_malloc(num, file, line);
             ^
  474.   }
  475.   

crypto/bn/bn_conv.c:72:5: Assignment
70.       bn_data_num = num / BN_DEC_NUM + 1;
71.       bn_data = OPENSSL_malloc(bn_data_num * sizeof(BN_ULONG));
72.       buf = OPENSSL_malloc(tbytes);
          ^
73.       if (buf == NULL || bn_data == NULL) {
74.           BNerr(BN_F_BN_BN2DEC, ERR_R_MALLOC_FAILURE);

crypto/bn/bn_conv.c:103:13: Call
101.            * order.
102.            */
103.           n = BIO_snprintf(p, tbytes - (size_t)(p - buf), BN_DEC_FMT1, *lp);
                   ^
104.           if (n < 0)
105.               goto err;

crypto/bio/b_print.c:899:1: Parameter `n`
  897.    * function should be renamed, but to what?)
  898.    */
  899. > int BIO_snprintf(char *buf, size_t n, const char *format, ...)
  900.   {
  901.       va_list args;

crypto/bio/b_print.c:906:11: Call
  904.       va_start(args, format);
  905.   
  906.       ret = BIO_vsnprintf(buf, n, format, args);
                   ^
  907.   
  908.       va_end(args);

crypto/bio/b_print.c:912:1: Parameter `n`
    910.   }
    911.   
    912. > int BIO_vsnprintf(char *buf, size_t n, const char *format, va_list args)
    913.   {
    914.       size_t retlen;

crypto/bio/b_print.c:917:10: Call
    915.       int truncated;
    916.   
    917.       if (!_dopr(&buf, NULL, &n, &retlen, &truncated, format, args))
                    ^
    918.           return -1;
    919.   

crypto/bio/b_print.c:83:1: <LHS trace>
81.   #define OSSL_MAX(p,q) ((p >= q) ? p : q)
82.   
83. > static int
84.   _dopr(char **sbuffer,
85.         char **buffer,

crypto/bio/b_print.c:83:1: Parameter `*maxlen`
      81.   #define OSSL_MAX(p,q) ((p >= q) ? p : q)
      82.   
      83. > static int
      84.   _dopr(char **sbuffer,
      85.         char **buffer,

crypto/bio/b_print.c:353:23: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BIO_snprintf` 
      351.        */
      352.       if (buffer == NULL) {
      353.           *truncated = (currlen > *maxlen - 1);
                                   ^
      354.           if (*truncated)
      355.               currlen = *maxlen - 1;
