faulty/missing check in dispatch.c

[bontric]

meta is a pointer to a message_params_object stored in a message_object and therefore can't be NULL.

// dispatch.c:169
 meta = &request->params.obj[0].data.params;
// ...
// dispatch.c:176
if (!meta) {
  error_set(api_error, API_ERROR_TYPE_VALIDATION,
         "Error dispatching run API request. meta params is NULL");
  return (-1);
  }

meta->obj could potentially be NULL though and there is no check for it!

[mkind]

How can this happen? Is there a test, that covers this situation?

[bontric]

@mkind The unit test for 'handle_run' addresses this

How can this happen?

There was no unit test ..

[mkind]

Ah.. I see. Quoting unpack.c:

  /* if array is empty return success */
  if (obj->via.array.size <= 0) {
    params->obj = NULL;
    params->size = 0;
    return (0);
  }

[mkind]

As far as I see, iff meta->obj is NULL, then meta->size is set to zero. Since the size is tested before accessing obj there should be no problem?

  if (meta->size != 5) {
    error_set(api_error, API_ERROR_TYPE_VALIDATION,
        "Error dispatching register API request. Invalid meta params size");
    return (-1);
  }

[bontric]

:+1:

[mkind]

seem like meta->obj can not be null

Well, yes it can be null as mentioned above. If so, the size is set to zero which is checked.

[bontric]

Well, yes it can be null as mentioned above

Didn't see that comment..

[mkind]

Is it ok to close issue?

[bontric]

The check still needs to be removed