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


crypto/bn/bn_print.c:123:11: Call
121.       num = (i / 10 + i / 1000 + 1) + 1;
122.       bn_data = OPENSSL_malloc((num / BN_DEC_NUM + 1) * sizeof(BN_ULONG));
123.       buf = OPENSSL_malloc(num + 3);
                 ^
124.       if ((buf == NULL) || (bn_data == NULL)) {
125.           BNerr(BN_F_BN_BN2DEC, ERR_R_MALLOC_FAILURE);

crypto/mem.c:403:9: Assignment
  401.   
  402.       if (num <= 0)
  403.           return NULL;
                 ^
  404.   
  405.       if (allow_customize)

crypto/bn/bn_print.c:123:5: Assignment
121.       num = (i / 10 + i / 1000 + 1) + 1;
122.       bn_data = OPENSSL_malloc((num / BN_DEC_NUM + 1) * sizeof(BN_ULONG));
123.       buf = OPENSSL_malloc(num + 3);
           ^
124.       if ((buf == NULL) || (bn_data == NULL)) {
125.           BNerr(BN_F_BN_BN2DEC, ERR_R_MALLOC_FAILURE);

crypto/bn/bn_print.c:152:9: Call
150.            * order.
151.            */
152.           BIO_snprintf(p, BUF_REMAIN, BN_DEC_FMT1, *lp);
               ^
153.           while (*p)
154.               p++;

crypto/bio/b_print.c:788:1: Parameter `n`
  786.    * function should be renamed, but to what?)
  787.    */
  788. > int BIO_snprintf(char *buf, size_t n, const char *format, ...)
  789.   {
  790.       va_list args;

crypto/bio/b_print.c:795:11: Call
  793.       va_start(args, format);
  794.   
  795.       ret = BIO_vsnprintf(buf, n, format, args);
                   ^
  796.   
  797.       va_end(args);

crypto/bio/b_print.c:801:1: Parameter `n`
    799.   }
    800.   
    801. > int BIO_vsnprintf(char *buf, size_t n, const char *format, va_list args)
    802.   {
    803.       size_t retlen;

crypto/bio/b_print.c:806:5: Call
    804.       int truncated;
    805.   
    806.       _dopr(&buf, NULL, &n, &retlen, &truncated, format, args);
               ^
    807.   
    808.       if (truncated)

crypto/bio/b_print.c:168:1: <LHS trace>
166.   #define OSSL_MAX(p,q) ((p >= q) ? p : q)
167.   
168. > static void
169.   _dopr(char **sbuffer,
170.         char **buffer,

crypto/bio/b_print.c:168:1: Parameter `*maxlen`
      166.   #define OSSL_MAX(p,q) ((p >= q) ? p : q)
      167.   
      168. > static void
      169.   _dopr(char **sbuffer,
      170.         char **buffer,

crypto/bio/b_print.c:418:19: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BIO_snprintf` 
      416.           }
      417.       }
      418.       *truncated = (currlen > *maxlen - 1);
                               ^
      419.       if (*truncated)
      420.           currlen = *maxlen - 1;
