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


crypto/x509v3/v3_info.c:75:15: Call
73.   
74.           desc = sk_ACCESS_DESCRIPTION_value(ainfo, i);
75.           tmp = i2v_GENERAL_NAME(method, desc->location, tret);
                    ^
76.           if (tmp == NULL)
77.               goto err;

crypto/x509v3/v3_alt.c:104:13: Call
  102.   
  103.       case GEN_DIRNAME:
  104.           if (X509_NAME_oneline(gen->d.dirn, oline, sizeof(oline)) == NULL
                     ^
  105.                   || !X509V3_add_value("DirName", oline, &ret))
  106.               return NULL;

crypto/x509/x509_obj.c:24:1: Parameter `len`
    22.   #define NAME_ONELINE_MAX    (1024 * 1024)
    23.   
    24. > char *X509_NAME_oneline(const X509_NAME *a, char *buf, int len)
    25.   {
    26.       const X509_NAME_ENTRY *ne;

crypto/x509v3/v3_info.c:81:9: Assignment
79.           vtmp = sk_CONF_VALUE_value(tret, i);
80.           i2t_ASN1_OBJECT(objtmp, sizeof objtmp, desc->method);
81.           nlen = strlen(objtmp) + 3 + strlen(vtmp->name) + 1;
              ^
82.           ntmp = OPENSSL_malloc(nlen);
83.           if (ntmp == NULL)

crypto/x509v3/v3_info.c:85:9: Call
83.           if (ntmp == NULL)
84.               goto err;
85.           BIO_snprintf(ntmp, nlen, "%s - %s", objtmp, vtmp->name);
              ^
86.           OPENSSL_free(vtmp->name);
87.           vtmp->name = ntmp;

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

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

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

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

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;
