ssl/t1_lib.c:1844: error: INTEGER_OVERFLOW_L2
  ([2, +oo] - 16):unsigned64 by call to `PACKET_get_bytes`.
Showing all 9 steps of the trace


ssl/t1_lib.c:1841:9: Assignment
1839.       if (TLS1_get_client_version(s) >= TLS1_2_VERSION) {
1840.           const size_t len1 = sizeof(kSafariExtensionsBlock);
1841.           const size_t len2 = sizeof(kSafariTLS12ExtensionsBlock);
                ^
1842.   
1843.           if (!PACKET_get_bytes(&tmppkt, &eblock1, len1)

ssl/t1_lib.c:1844:21: Call
1842.   
1843.           if (!PACKET_get_bytes(&tmppkt, &eblock1, len1)
1844.                   || !PACKET_get_bytes(&tmppkt, &eblock2, len2)
                            ^
1845.                   || PACKET_remaining(&tmppkt))
1846.               return;

ssl/packet_locl.h:344:8: Parameter `len`
  342.    * freed
  343.    */
  344.   __owur static ossl_inline int PACKET_get_bytes(PACKET *pkt,
                ^
  345.                                                  unsigned char **data,
  346.                                                  size_t len)

ssl/packet_locl.h:351:5: Call
  349.           return 0;
  350.   
  351.       packet_forward(pkt, len);
             ^
  352.   
  353.       return 1;

ssl/packet_locl.h:80:1: <LHS trace>
78.   
79.   /* Internal unchecked shorthand; don't use outside this file. */
80. > static ossl_inline void packet_forward(PACKET *pkt, size_t len)
81.   {
82.       pkt->curr += len;

ssl/packet_locl.h:80:1: Parameter `pkt->remaining`
    78.   
    79.   /* Internal unchecked shorthand; don't use outside this file. */
    80. > static ossl_inline void packet_forward(PACKET *pkt, size_t len)
    81.   {
    82.       pkt->curr += len;

ssl/packet_locl.h:80:1: <RHS trace>
78.   
79.   /* Internal unchecked shorthand; don't use outside this file. */
80. > static ossl_inline void packet_forward(PACKET *pkt, size_t len)
81.   {
82.       pkt->curr += len;

ssl/packet_locl.h:80:1: Parameter `len`
    78.   
    79.   /* Internal unchecked shorthand; don't use outside this file. */
    80. > static ossl_inline void packet_forward(PACKET *pkt, size_t len)
    81.   {
    82.       pkt->curr += len;

ssl/packet_locl.h:83:5: Binary operation: ([2, +oo] - 16):unsigned64 by call to `PACKET_get_bytes` 
    81.   {
    82.       pkt->curr += len;
    83.       pkt->remaining -= len;
              ^
    84.   }
    85.   
