crypto/asn1_dsa.c:281: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - [0, 127]):unsigned64 by call to `decode_der_length`.
Showing all 18 steps of the trace


crypto/asn1_dsa.c:278:10: Call
276.       unsigned int tag;
277.   
278.       if (!PACKET_buf_init(&pkt, *ppin, len)
                ^
279.               || !PACKET_get_1(&pkt, &tag)
280.               || tag != ID_SEQUENCE

include/internal/packet.h:68:8: Parameter `pkt->remaining`
  66.    * is being used.
  67.    */
  68.   __owur static ossl_inline int PACKET_buf_init(PACKET *pkt,
               ^
  69.                                                 const unsigned char *buf,
  70.                                                 size_t len)

crypto/asn1_dsa.c:279:17: Call
277.   
278.       if (!PACKET_buf_init(&pkt, *ppin, len)
279.               || !PACKET_get_1(&pkt, &tag)
                       ^
280.               || tag != ID_SEQUENCE
281.               || !decode_der_length(&pkt, &contpkt)

include/internal/packet.h:267:8: Parameter `pkt->remaining`
  265.   
  266.   /* Get 1 byte from |pkt| and store the value in |*data| */
  267.   __owur static ossl_inline int PACKET_get_1(PACKET *pkt, unsigned int *data)
                ^
  268.   {
  269.       if (!PACKET_peek_1(pkt, data))

include/internal/packet.h:269:10: Call
  267.   __owur static ossl_inline int PACKET_get_1(PACKET *pkt, unsigned int *data)
  268.   {
  269.       if (!PACKET_peek_1(pkt, data))
                  ^
  270.           return 0;
  271.   

include/internal/packet.h:255:8: Parameter `pkt->remaining`
    253.   
    254.   /* Peek ahead at 1 byte from |pkt| and store the value in |*data| */
    255.   __owur static ossl_inline int PACKET_peek_1(const PACKET *pkt,
                  ^
    256.                                               unsigned int *data)
    257.   {

crypto/asn1_dsa.c:281:17: Call
279.               || !PACKET_get_1(&pkt, &tag)
280.               || tag != ID_SEQUENCE
281.               || !decode_der_length(&pkt, &contpkt)
                       ^
282.               || !decode_der_integer(&contpkt, r)
283.               || !decode_der_integer(&contpkt, s)

crypto/asn1_dsa.c:197:10: Call
  195.       unsigned int byte;
  196.   
  197.       if (!PACKET_get_1(pkt, &byte))
                  ^
  198.           return 0;
  199.   

include/internal/packet.h:269:10: Call
    267.   __owur static ossl_inline int PACKET_get_1(PACKET *pkt, unsigned int *data)
    268.   {
    269.       if (!PACKET_peek_1(pkt, data))
                    ^
    270.           return 0;
    271.   

include/internal/packet.h:255:8: Parameter `*data`
      253.   
      254.   /* Peek ahead at 1 byte from |pkt| and store the value in |*data| */
      255.   __owur static ossl_inline int PACKET_peek_1(const PACKET *pkt,
                    ^
      256.                                               unsigned int *data)
      257.   {

crypto/asn1_dsa.c:201:16: Call
  199.   
  200.       if (byte < 0x80)
  201.           return PACKET_get_sub_packet(pkt, subpkt, (size_t)byte);
                        ^
  202.       if (byte == 0x81)
  203.           return PACKET_get_length_prefixed_1(pkt, subpkt);

include/internal/packet.h:120:8: Parameter `len`
    118.    * original |pkt|, so data wrapped by |pkt| must outlive the |subpkt|.
    119.    */
    120.   __owur static ossl_inline int PACKET_get_sub_packet(PACKET *pkt,
                  ^
    121.                                                       PACKET *subpkt, size_t len)
    122.   {

include/internal/packet.h:126:5: Call
    124.           return 0;
    125.   
    126.       packet_forward(pkt, len);
               ^
    127.   
    128.       return 1;

include/internal/packet.h:29:1: <LHS trace>
27.   
28.   /* Internal unchecked shorthand; don't use outside this file. */
29. > static ossl_inline void packet_forward(PACKET *pkt, size_t len)
30.   {
31.       pkt->curr += len;

include/internal/packet.h:29:1: Parameter `pkt->remaining`
      27.   
      28.   /* Internal unchecked shorthand; don't use outside this file. */
      29. > static ossl_inline void packet_forward(PACKET *pkt, size_t len)
      30.   {
      31.       pkt->curr += len;

include/internal/packet.h:29:1: <RHS trace>
27.   
28.   /* Internal unchecked shorthand; don't use outside this file. */
29. > static ossl_inline void packet_forward(PACKET *pkt, size_t len)
30.   {
31.       pkt->curr += len;

include/internal/packet.h:29:1: Parameter `len`
      27.   
      28.   /* Internal unchecked shorthand; don't use outside this file. */
      29. > static ossl_inline void packet_forward(PACKET *pkt, size_t len)
      30.   {
      31.       pkt->curr += len;

include/internal/packet.h:32:5: Binary operation: ([1, +oo] - [0, 127]):unsigned64 by call to `decode_der_length` 
      30.   {
      31.       pkt->curr += len;
      32.       pkt->remaining -= len;
                ^
      33.   }
      34.   
