[Coverity CID :207980] Untrusted loop bound in tests/net/socket/websocket/src/main.c

[zephyrbot]

Static code scan issues found in file:

https://github.com/zephyrproject-rtos/zephyr/tree/a3e89e84a801d9bc048b0ee2177f0fb11d1a925a/tests/net/socket/websocket/src/main.c#L306

Category: Insecure data handling
Function: verify_sent_and_received_msg
Component: Tests
CID: 207980

Details:

300             zassert_true(ret > 0, "Cannot read data (%d)", ret);
301    
302             total_read = ret;
303         }
304    
305         /* Then the data */
>>>     CID 207980:    (TAINTED_SCALAR)
>>>     Using tainted variable "remaining" as a loop boundary.
306         while (remaining > 0) {
307             ret = test_recv_buf((u8_t *)msg->msg_iov[1].iov_base +
308                                     total_read,
309                         msg->msg_iov[1].iov_len - total_read,
310                         &ctx, &msg_type, &remaining,
311                         recv_buf, sizeof(recv_buf));
300             zassert_true(ret > 0, "Cannot read data (%d)", ret);
301    
302             total_read = ret;
303         }
304    
305         /* Then the data */
>>>     CID 207980:    (TAINTED_SCALAR)
>>>     Using tainted variable "remaining" as a loop boundary.
306         while (remaining > 0) {
307             ret = test_recv_buf((u8_t *)msg->msg_iov[1].iov_base +
308                                     total_read,
309                         msg->msg_iov[1].iov_len - total_read,
310                         &ctx, &msg_type, &remaining,
311                         recv_buf, sizeof(recv_buf));

Please fix or provide comments in coverity using the link:

https://scan9.coverity.com/reports.htm#v32951/p12996.

Note: This issue was created automatically. Priority was set based on classification
of the file affected and the impact field in coverity. Assignees were set using the CODEOWNERS file.

[jukkar]

False positive.