Fix: tracker: NULL pointer dereference after NULL check
authorJérémie Galarneau <jeremie.galarneau@efficios.com>
Tue, 31 Mar 2020 02:10:36 +0000 (22:10 -0400)
committerJérémie Galarneau <jeremie.galarneau@efficios.com>
Tue, 31 Mar 2020 18:01:42 +0000 (14:01 -0400)
value_view can be NULL and must thus be checked before use.

Moreover, the fix introduced in 1ad5cb59 is erreneous: the
function must validate that either:
  - value is a 'name' type, value_view is not null, and not len == 0,
  - value is an integer and value_view does not contain more data.

In process_attr_value_from_comm: Pointer is checked against null but
then dereferenced anyway (CWE-476)

Reported-by: Coverity Scan
Signed-off-by: Jérémie Galarneau <jeremie.galarneau@efficios.com>
Change-Id: Ia130ef57e10118960f1023338b90f7a10d588ee2

src/common/tracker.c

index e4aae431d19a4896c818267c4ab781c0b85bac08..29249d528bc8da1f1a7b71e00381cc24b65d1678 100644 (file)
@@ -103,7 +103,8 @@ enum lttng_error_code process_attr_value_from_comm(
        }
 
        /* Only expect a payload for name value types. */
-       if (is_value_type_name(value_type) && value_view->size == 0) {
+       if (is_value_type_name(value_type) &&
+                       (!value_view || value_view->size == 0)) {
                ret = LTTNG_ERR_INVALID_PROTOCOL;
                goto error;
        } else if (!is_value_type_name(value_type) && value_view &&
This page took 0.025639 seconds and 4 git commands to generate.