test/handshake_helper.c:194: error: INTEGER_OVERFLOW_L2
  ([0, `protos->strlen` - 1] - [0, max(2, `protos->strlen`)]):unsigned64.
Showing all 5 steps of the trace


test/handshake_helper.c:191:5: <LHS trace>
189.   
190.       prefix = 0;
191.       i = prefix + 1;
           ^
192.       while (i <= len) {
193.           if ((*out)[i] == ',') {

test/handshake_helper.c:191:5: Assignment
189.   
190.       prefix = 0;
191.       i = prefix + 1;
           ^
192.       while (i <= len) {
193.           if ((*out)[i] == ',') {

test/handshake_helper.c:190:5: <RHS trace>
188.       memcpy(*out + 1, protos, len);
189.   
190.       prefix = 0;
           ^
191.       i = prefix + 1;
192.       while (i <= len) {

test/handshake_helper.c:190:5: Assignment
188.       memcpy(*out + 1, protos, len);
189.   
190.       prefix = 0;
           ^
191.       i = prefix + 1;
192.       while (i <= len) {

test/handshake_helper.c:194:13: Binary operation: ([0, protos->strlen - 1] - [0, max(2, protos->strlen)]):unsigned64
192.       while (i <= len) {
193.           if ((*out)[i] == ',') {
194.               TEST_check(i - 1 - prefix > 0);
                   ^
195.               (*out)[prefix] = i - 1 - prefix;
196.               prefix = i;
