CID 1518574: Untrusted loop bound

[maskit]

healthchecks.cc

211    if (len >= 0) {
212      int i = 0;
213
   	4. Condition i < len, taking true branch.
   	26. Condition i < len, taking true branch.
   	43. Condition i < len, taking true branch.
   	56. Condition i < len, taking false branch.
   	68. Condition i < len, taking true branch.
   	85. Condition i < len, taking true branch.
   	
CID 1518574 (#2 of 2): Untrusted loop bound (TAINTED_SCALAR)
99. tainted_data: Using tainted variable i as a loop boundary.
   	Ensure that tainted values are properly sanitized, by checking that their values are within a permissible range.
214      while (i < len) {
   	86. var_assign_var: Assigning: event = (inotify_event *)&buffer[i]. Both are now tainted.
215        struct inotify_event *event = (struct inotify_event *)&buffer[i];
216        HCFileInfo *finfo           = g_config;
217